1463 search results - page 191 / 293 » Model Checking Implicit-Invocation Systems |
QEST
2006
IEEE
15 years 7 months ago
2006
IEEE
We analyze the effect of a few fiber delay loops on the number of deflections in an all optical packet switch. The switch is based on the ROMEO architecture developed by Alcatel...
109
click to vote
WICSA
2008
15 years 2 months ago
2008
With the spread of the Internet and software evolution in complex intensive systems, software architecture often need be reconfigured during runtime to adapt variable environments...
107
click to vote
SEFM
2007
IEEE
15 years 7 months ago
2007
IEEE
We model security protocols as a game tree using concepts of game semantics. Using this model we ascribe semantics to protocols written in the standard simple arrow notation. Acco...
100
click to vote
MEMOCODE
2006
IEEE
15 years 7 months ago
2006
IEEE
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...
137
click to vote
GIS
2010
ACM
14 years 8 months ago
2010
ACM
With the prevalence of car navigation systems, indoor navigation systems are increasingly attracting attention in the indoor research area. However, the available models for indoo...