10159 search results - page 557 / 2032 » System Design Validation Using Formal Models |
164
click to vote
SOQUA
2007
15 years 7 months ago
2007
The impossibility of statically determining the behavior of complex systems that interact at runtime with heterogeneous devices and remote entities, may lead to unexpected system ...
195
click to vote
CF
2004
ACM
15 years 12 months ago
2004
ACM
Pervasive computing applications allow users to access information from anywhere while traveling and using variety of devices. Heterogeneity and limitation of resources involved i...
147
click to vote
FUNGAMES
2008
15 years 7 months ago
2008
Abstract. Rotational dynamic system models can be used to enrich tightlycoupled embodied control of movement-sensitive mobile devices, and support a more bidirectional, negotiated ...
153
click to vote
FMCAD
2007
Springer
16 years 18 days ago
2007
Springer
— Induction has been studied in model checking for proving the validity of safety properties, i.e., showing the absence of counterexamples. To our knowledge, induction has not be...
153
click to vote
AAAI
2007
15 years 8 months ago
2007
The reliable authentication of user attributes is an important prerequisite for the security of web based applications. Digital certificates are widely used for that purpose. How...