1583 search results - page 246 / 317 » Engineering Executable Agents using Multi-context Systems |
ISORC
2007
IEEE
14 years 4 months ago
2007
IEEE
As E-businesses are becoming ubiquitous, enhancing the performance and scalability of ebusiness systems has become an increasingly important topic of investigation. As Vitruvius (...
WSC
2007
14 years 13 days ago
2007
Unambiguous definition of the information exchanged between distributed systems is a necessary requirement for simulation system interoperability. The ontological spectrum categor...
ICSE
2007
IEEE-ACM
14 years 10 months ago
2007
IEEE-ACM
Modern multiuser software systems have adopted RoleBased Access Control (RBAC) for authorization management. This paper presents a formal model for RBAC policy validation and a st...
TAPSOFT
1995
Springer
14 years 1 months ago
1995
Springer
Starting from the process algebra for Concurrent ML we develop two program analyses that facilitate the intelligent placement of processes on processors. Both analyses are obtaine...
CODES
2010
IEEE
13 years 8 months ago
2010
IEEE
The Ptolemy project studies modeling, simulation, and design of concurrent, real-time, embedded systems. The focus is on assembly of concurrent components. The key underlying prin...