First Page | Meta Content | |
---|---|---|
![]() | Document Date: 2007-07-13 07:18:18Open Document File Size: 314,54 KBShare Result on FacebookCityDubrovnik / /CompanyInternational Journal / D. Van Nostrand Company / John Wiley and Sons / Real-Time Systems / IEEE CS Press / CONCUR / /CountryCroatia / /CurrencyUSD / / /IndustryTermanonymity protocols / model checking algorithm / wireless communication protocols / precomputation algorithms / software using methods / fault-tolerant systems / power management / system/software / software tools / coordination algorithms / wireless communication protocol / communication protocol / computing / real-world protocols / multimedia protocol / reward operator / labelled state-transition systems / model checking algorithms / software engineering process / energy usage / /OperatingSystemUnix / Linux / Microsoft Windows / Macintosh / /OrganizationOxford University / /PersonThiagarajan / Palamidessi / K. Sanwal / V / Proc / E. Clarke / V / Verification / Modelling / Priami / /Positioneditor / ABSTRACT General / forward / /ProgrammingLanguageJava / C / /PublishedMediumJournal of the ACM / Formal Aspects of Computing / Theoretical Computer Science / Electronic Notes in Theoretical Computer Science / /Technologycoordination algorithms / Bioinformatics / wireless communication protocols / CRM / Java / frequency hopping / Unix / Linux / multimedia protocol / wireless communication protocol / communication protocol / microwave / simulation / PCTL model checking algorithm / operating systems / anonymity protocols / Bluetooth / model checking algorithms / IEEE 1394 / precomputation algorithms / /URLwww.prismmodelchecker.org / /SocialTag |