3828 search results - page 605 / 766 » Proof-Based System Engineering Using a Virtual System Model |
140
click to vote
ICDCSW
2005
IEEE
15 years 10 months ago
2005
IEEE
Publish/subscribe is emerging as an appropriate communication paradigm for large-scale, widely-distributed systems. In this paper, we describe our work on integrating active datab...
140
click to vote
ISM
2005
IEEE
15 years 10 months ago
2005
IEEE
Hazard detection and prevention of natural and manmade disasters at critical civil infrastructure is becoming increasingly important. Recent events, such as earthquakes and terror...
122
click to vote
HICSS
2002
IEEE
15 years 10 months ago
2002
IEEE
This paper provides an overview on a German lighthouse research project called L3 in the area of e-learning systems that supply e-learning services via a virtual private network. ...
146
click to vote
VCIP
2003
15 years 6 months ago
2003
Stroke is a major cause of disability and health care expenditure around the world. Existing stroke rehabilitation methods can be effective but are costly and need to be improved....
133
click to vote
IJSYSC
2000
15 years 4 months ago
2000
The generation of complex entities with advantageous behaviours beyond our manual design capability requires long-term incremental evolution with continuing emergence. In this pap...