2004 search results - page 312 / 401 » Comparison of Model Checking Tools for Information Systems |
WSE
2006
IEEE
15 years 5 months ago
2006
IEEE
For web applications, determining how requests from a web page are routed through server components can be time-consuming and error-prone due to the complex set of rules and mecha...
119
click to vote
FMICS
2009
Springer
15 years 6 months ago
2009
Springer
on Abstraction: a Lightweight Approach to Modelling Concurrency. Javier de Dios and Ricardo Peña Certified Implementation on top of the Java Virtual Machine 19:00 Social dinner + ...
111
click to vote
CF
2004
ACM
15 years 5 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...
135
Voted
COOPIS
2002
IEEE
15 years 4 months ago
2002
IEEE
Rapid advances in networking, hardware, and middleware technologies are facilitating the development and deployment of complex grid applications, such as large-scale distributed co...
ICFEM
2009
Springer
15 years 6 months ago
2009
Springer
Fault-tolerant (FT) distributed protocols (such as group membership, consensus, etc.) represent fundamental building blocks for many practical systems, e.g., the Google File System...