2522 search results - page 198 / 505 » From Self-Organized Systems to Collective Problem Solving |
155
click to vote
HYBRID
1999
Springer
15 years 10 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...
176
Voted
HOTOS
2009
IEEE
15 years 9 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 ...
137
click to vote
COMPSAC
2002
IEEE
15 years 10 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...
211
click to vote
NC
2011
15 years 16 days 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 ...
125
click to vote
WWW
2001
ACM
16 years 6 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 ...