271 search results - page 23 / 55 » Architectural dependability evaluation with Arcade |
AAAI
2007
14 years 1 months ago
2007
Developing human-centered agent architectures requires the integral consideration of architectural flexibility, teamwork adaptability, and context reasoning capability. With the ...
ICASSP
2010
IEEE
13 years 11 months ago
2010
IEEE
Design and analysis of cooperative communication schemes based upon modeling and simulation exist in large quantities in the research literature. Despite this fact, there have bee...
JSAT
2010
13 years 5 months ago
2010
Sat4j is a mature, open source library of SAT-based solvers in Java. It provides a modular SAT solver architecture designed to work with generic constraints. Such architecture is ...
JTRES
2010
ACM
13 years 11 months ago
2010
ACM
In order to guarantee that real-time systems meet their timing specification, static execution time bounds need to be calculated. Not considering execution time predictability led...
PIMRC
2010
IEEE
13 years 8 months ago
2010
IEEE
Long Term Evolution (LTE) is the latest step towards the 4th generation (4G) of radio technologies designed to increase the capacity and speed of mobile communications. To support ...