2522 search results - page 198 / 505 » From Self-Organized Systems to Collective Problem Solving |
HYBRID
1999
Springer
14 years 1 months ago
1999
Springer
In this work we tackle the following problem: given a timed automaton, and a target set F of configurations, restrict its transition relation in a systematic way so that from ever...
HOTOS
2009
IEEE
14 years 1 months ago
2009
IEEE
Operating systems can efficiently provide system transactions to user applications, in which user-level processes can execute a series of system calls atomically and in isolation ...
COMPSAC
2002
IEEE
14 years 2 months ago
2002
IEEE
Many organizations would benefit from enterprise-wide, shared information systems. It is common for these organizations to have in place a number of smaller information systems, e...
NC
2011
13 years 4 months ago
2011
We apply techniques from complexity theory to a model of biological cellular membranes known as membrane systems or P-systems. Like Boolean circuits, membrane systems are defined ...
WWW
2001
ACM
14 years 10 months ago
2001
ACM
This paper presents a guided tour system for the WWW. It is a module for the Webvise open hypermedia system that implements the ideas of trails and guided tours, originating from ...