15778 search results - page 3043 / 3156 » Aikido and software engineering |
ATAL
2003
Springer
15 years 3 months ago
2003
Springer
Open systems are characterized by heterogeneous participants which can enter or leave the system at will. Typical examples are e-commerce applications or information agent systems...
ATAL
2003
Springer
15 years 3 months ago
2003
Springer
Performance measurement of large distributed multiagent systems (MAS) offers challenges that must be addressed explicitly in the agent infrastructure. Performance data is widely d...
EMSOFT
2003
Springer
15 years 3 months ago
2003
Springer
We introduce the paradigm of schedule-carrying code (SCC). A hard real-time program can be executed on a given platform only if there exists a feasible schedule for the real-time t...
EMSOFT
2003
Springer
15 years 3 months ago
2003
Springer
Since the first results published in 1973 by Liu and Layland on the Rate Monotonic (RM) and Earliest Deadline First (EDF) algorithms, a lot of progress has been made in the schedu...
EMSOFT
2003
Springer
15 years 3 months ago
2003
Springer
Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief ob...