1980 search results - page 309 / 396 » Compositional Model Checking of Real Time Systems |
142
click to vote
NOSSDAV
2005
Springer
15 years 8 months ago
2005
Springer
Service overlay networks have recently attracted tremendous interests. In this paper, we propose a new integrated framework for specifying services composed of service components ...
131
Voted
DAGM
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. We present a system that allows for changing the major camera parameters after the acquisition of an image. Using the high dynamic range composition technique and additio...
167
Voted
NN
2000
Springer
15 years 2 months ago
2000
Springer
The proper functioning of the nervous system depends critically on the intricate network of synaptic connections that are generated during the system development. During the netwo...
122
Voted
RTCSA
2007
IEEE
15 years 9 months ago
2007
IEEE
A task that suspends itself to wait for an I/O completion or to wait for an event from another node in distributed environments is called an I/O blocking task. In conventional har...
157
Voted
KDD
2010
ACM
15 years 6 months ago
2010
ACM
Social tagging systems have become increasingly popular for sharing and organizing web resources. Tag recommendation is a common feature of social tagging systems. Social tagging ...