18090 search results - page 2949 / 3618 » Computing by Only Observing |
231
click to vote
LICS
2005
IEEE
16 years 24 days 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...
185
click to vote
LICS
2005
IEEE
16 years 24 days 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...
176
click to vote
LICS
2005
IEEE
16 years 24 days ago
2005
IEEE
In recent work Baader has shown that a certain description logic with conjunction, existential quantification and with circular definitions has a polynomial time subsumption pro...
181
click to vote
RTCSA
2005
IEEE
16 years 24 days ago
2005
IEEE
Abstract— Time-critical jobs in many real-time applications have multiple feasible intervals. Such a job is constrained to execute from start to completion in one of its feasible...
269
click to vote
RTCSA
2005
IEEE
16 years 24 days ago
2005
IEEE
Embedded systems are usually resource limited in terms of processing power, memory, and power consumption, thus embedded TCP/IP should be designed to make the best use of limited ...