1583 search results - page 237 / 317 » Engineering Executable Agents using Multi-context Systems |
ECRTS
2005
IEEE
14 years 3 months ago
2005
IEEE
Graphical languages of various sorts are increasingly used for the specification and the design of high-integrity real-time systems. Their coverage however does not extend with a...
VLDB
1998
ACM
14 years 2 months ago
1998
ACM
Currently the key problems of query optimization are extensibility imposed by object-relational technology, as well as query complexity caused by forthcoming applications, such as...
WCET
2008
13 years 11 months ago
2008
We propose an approach for timing analysis of software-based embedded computer systems that builds on the established probabilistic framework of Bayesian networks. We envision an ...
OOPSLA
2010
Springer
13 years 8 months ago
2010
Springer
The usage of optimistic version control systems comes along with cumbersome and time-consuming conflict resolution in the case that the modifications of two developers are contrad...
EMSOFT
2004
Springer
14 years 3 months ago
2004
Springer
Dedicated operating systems for embedded systems are fast being phased out due to their use of manual optimization, which provides high performance and small footprint, but also r...