Join Our Newsletter
5267 search results - page 1 / 1054 » Methods for Knowledge Based Controlling of Distributed Syste... |
ATVA
2010
Springer
12 years 3 months ago
2010
Springer
Abstract. Controlling concurrent systems to impose some global invariant is an undecidable problem. One can gain decidability at the expense of reducing concurrency. Even under thi...
CAV
2009
Springer
12 years 8 months ago
2009
Springer
Priorities are used to control the execution of systems to meet given requirements for optimal use of resources, e.g., by using scheduling policies. For distributed systems, it is ...
AINA
2004
IEEE
12 years 7 months ago
2004
IEEE
The conceptual architecture of the access control system described here is based on automatic distributed acquisition and processing of knowledge about users and devices in comput...
SAC
2009
ACM
12 years 8 months ago
2009
ACM
Pervasive computing devices (e.g., sensor networks, localization devices, cameras, etc.) are increasingly present in every aspect of our lives. These devices are able to generate ...
LPAR
2004
Springer
12 years 9 months ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given speciļ¬cation one can synthesize it from a formal constructive proof that a computation satisfying that speciļ¬cation...
