1796 search results - page 274 / 360 » An Approach to Compositional Model Checking |
129
click to vote
RTCSA
2005
IEEE
15 years 8 months ago
2005
IEEE
Context-aware middleware encompasses uniform ions and reliable services for common operations, supports for most of the tasks involved in dealing with context, and thus simplifyin...
109
click to vote
SG
2005
Springer
15 years 8 months ago
2005
Springer
Modelling, animation and rendering has dominated research computer graphics yielding increasingly rich and realistic virtual worlds. The complexity, richness and quality of the vir...
133
Voted
CONCUR
2001
Springer
15 years 7 months ago
2001
Springer
We present a process algebraic approach for extending to the probabilistic setting the classical logical information flow analysis of computer systems. In particular, we employ a ...
150
Voted
ARTS
1997
Springer
15 years 6 months ago
1997
Springer
We introduce PLC-Automata as a new class of automata which are tailored to deal with real-time properties of Programmable Logic Controllers (PLCs). These devices are often used in...
COMPSAC
2004
IEEE
15 years 6 months ago
2004
IEEE
: We concentrate on two major aspects of reactive system design: behavior control and modularity. These are studied from a formal point of view, within the framework of action syst...