3745 search results - page 226 / 749 » Sonic: System Description |
176
click to vote
MOBIMEDIA
2007
15 years 8 months ago
2007
In this paper we simulate an authorization and delegation system using knowledge based technology. This proposal is part of a visual tool that is intended to be an implementation ...
159
click to vote
MASCOTS
2004
15 years 8 months ago
2004
Fault-tolerant mechanisms have been increasingly used to develop safety-critical systems in the past years. Therefore the accurate description of these mechanisms is crucial if we...
136
click to vote
AAMAS
2007
Springer
15 years 6 months ago
2007
Springer
The environment has been recognized as an explicit and exploitable element to design Multi-Agent Systems (MAS). It can be assigned a number of responsibilities that would be more d...
172
click to vote
BIOSYSTEMS
2008
15 years 6 months ago
2008
The metabolic P algorithm is a procedure which determines, in a biochemically realistic way, the evolution of P systems representing biological phenomena. A new formulation of thi...
131
click to vote
ENTCS
2008
15 years 6 months ago
2008
One of the challenges in designing distributed, embedded systems is the paucity of formal, executable specification notations that provide support for both real-time and asynchron...