Sciweavers

2379 search results - page 213 / 476
» Aspectizing Multi-agent Systems: From Architecture to Implem...
Sort
View
DAC
1995
ACM
15 years 10 months ago
Performance Analysis of Embedded Software Using Implicit Path Enumeration
—Embedded computer systems are characterized by the presence of a processor running application-specific dedicated software. A large number of these systems must satisfy real-ti...
Yau-Tsun Steven Li, Sharad Malik
SAS
2005
Springer
114views Formal Methods» more  SAS 2005»
15 years 12 months ago
Type-Safe Optimisation of Plugin Architectures
Programmers increasingly implement plugin architectures in type-safe object-oriented languages such as Java. A virtual machine can dynamically load class files containing plugins,...
Neal Glew, Jens Palsberg, Christian Grothoff
DAGSTUHL
2006
15 years 8 months ago
Towards UML Modelling Extra-Functional Properties in Web Services and their Clients
Web Services provide our systems with a platform independent and loosely coupled implementation environment, being time to face how the named systems can be modelled. Service Compo...
Guadalupe Ortiz, Juan Hernández
EMSOFT
2007
Springer
16 years 20 days ago
Loosely time-triggered architectures based on communication-by-sampling
We address the problem of mapping a set of processes which communicate synchronously on a distributed platform. The Time Triggered Architecture (TTA) proposed by Kopetz for the co...
Albert Benveniste, Paul Caspi, Marco Di Natale, Cl...
JIRS
2000
133views more  JIRS 2000»
15 years 6 months ago
Managing Complexity in Large Learning Robotic Systems
Abstract. Autonomous learning systems of significant complexity often consist of several interacting modules or agents. These modules collaborate to produce a system which, when vi...
Kynan Eng, Alec P. Robertson, Deane R. Blackman