2836 search results - page 434 / 568 » Model Checking for Software Architectures |
178
click to vote
AOSE
2005
Springer
15 years 12 months ago
2005
Springer
Many approaches and tools assist the various tasks required to develop a multi-agent system (MAS), yet there still remains a gap between the generation of MAS models and program co...
177
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
Whilst tools assist the various tasks required to develop a multi-agent system (MAS), yet there still remains a gap between the generation of MAS models and program code. AUML dev...
174
click to vote
MIDDLEWARE
2001
Springer
15 years 10 months ago
2001
Springer
Middleware has emerged as an important architectural component in modern distributed systems. Most recently, industry has witnessed the emergence of component-based middleware pla...
162
click to vote
KYOTODL
2000
15 years 7 months ago
2000
The web is more and more used as a platform for fullfledged, increasingly complex applications, where a huge amount of change-intensive data is managed by underlying database syst...
204
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
Schedulability analysis of real-time embedded systems requires worst case timing guarantees of embedded software performance. This involves not only language level program analysi...