1398 search results - page 123 / 280 » Ensuring Properties of Interaction Systems |
113
Voted
SIGECOM
2010
ACM
15 years 9 months ago
2010
ACM
Recent years have seen extensive investigation of the information aggregation properties of prediction markets. However, relatively little is known about conditions under which a ...
137
Voted
TITB
2008
15 years 4 months ago
2008
Medical image interpretation is facing an important challenge resulting from the continuously increasing amount of imaging data. Innovations in medical image visualization are nece...
212
Voted
CBSE
2011
Springer
14 years 4 months ago
2011
Springer
Orphan requests are a significant problem for multi-tier distributed systems since they adversely impact system correctness by violating the exactly-once semantics of application...
141
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
The safety of infinite state systems can be checked by a backward reachability procedure. For certain classes of systems, it is possible to prove the termination of the procedure ...
149
Voted
RTAS
1999
IEEE
15 years 9 months ago
1999
IEEE
In this paper we propose a dynamic constraint transformation technique for ensuring timing requirements in a distributed real-time system possessing periodically synchronized dist...