2519 search results - page 367 / 504 » Reasoning with Textual Cases |
146
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
Due to the better utilization of computational and communication resources and the improved coordination of application subsystems, designers of large distributed embedded systems...
155
click to vote
COMPSAC
2005
IEEE
15 years 10 months ago
2005
IEEE
Monitoring is a task of collecting measurements that reflect the state of a system. Administration is a collection of tasks for control and manipulation of computer systems. Monito...
140
click to vote
INFOCOM
2005
IEEE
15 years 10 months ago
2005
IEEE
— We study hybrid search schemes for unstructured peer-to-peer networks. We quantify performance in terms of number of hits, network overhead, and response time. Our schemes comb...
146
click to vote
LICS
2005
IEEE
15 years 10 months ago
2005
IEEE
We provide a uniform solution to the problem of synthesizing a finite-state distributed system. An instance of the synthesis problem consists of a system architecture and a tempo...
128
click to vote
LICS
2005
IEEE
15 years 10 months ago
2005
IEEE
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...