1583 search results - page 206 / 317 » Using Multi-context Systems to Engineer Executable Agents |
CORR
2010
Springer
13 years 9 months ago
2010
Springer
We propose a framework that provides a programming interface to perform complex dynamic system-level analyses of deployed production systems. By leveraging hardware support for vi...
ICSE
2001
IEEE-ACM
14 years 1 months ago
2001
IEEE-ACM
Design traceability has been widely recognized as being an integral aspect of software development. In the past years this fact has been amplified due to the increased use of lega...
LCTRTS
2009
Springer
14 years 4 months ago
2009
Springer
Embedded systems, like general-purpose systems, can benefit from parallel execution on a symmetric multicore platform. Unfortunately, concurrency issues present in general-purpos...
SIES
2007
IEEE
14 years 3 months ago
2007
IEEE
— The paper presents a software architecture for Distributed Timed Multitasking - a new model of computation that can be used to engineer open, and the same time, predictable emb...
EMSOFT
2004
Springer
14 years 2 months ago
2004
Springer
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...