1830 search results - page 295 / 366 » Centering in Dynamic Semantics |
EUROMICRO
1998
IEEE
15 years 3 months ago
1998
IEEE
Industry is facing a crisis in the design of complex hardware/software systems. Due to the increasing complexity, the gap between the generation of a product idea and the realisat...
SIGADA
1998
Springer
15 years 3 months ago
1998
Springer
The requirements of High Integrity safety-critical, secure and mission-critical Software force developers to use specialised development techniques. Often the choice of computer l...
107
click to vote
CIA
2006
Springer
15 years 3 months ago
2006
Springer
As the technical infrastructure to support Grid environments matures, attention must be focused on integrating such technical infrastructure with technologies to support more dynam...
104
click to vote
DSN
2006
IEEE
15 years 2 months ago
2006
IEEE
Distributed sensor networks are highly prone to accidental errors and malicious activities, owing to their limited resources and tight interaction with the environment. Yet only a...
111
click to vote
FORMATS
2006
Springer
15 years 2 months ago
2006
Springer
In this paper, we consider a novel approach to the temporal logic verification problem of continuous dynamical systems. Our methodology has the distinctive feature that enables the...