157 search results - page 13 / 32 » Formal Modeling and Analysis of Hybrid Systems: A Case Study... |
IJBIS
2010
13 years 5 months ago
2010
: The increasing intensity of global competition and the rapid advances in information technology (IT) have led organisations to search for more efficient and effective ways to man...
TACAS
1998
Springer
14 years 24 days ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
MASCOTS
1997
13 years 10 months ago
1997
We describe a method for performance analysis of large software systems that combines a fast instruction-set simulator with off-line detailed analysis of segments of the execution...
AH
2006
Springer
14 years 10 days ago
2006
Springer
We built a Web-based adaptive recommendation system for students to select and suggest architectural cases when they analyze "Case Study" work within the architectural de...
COORDINATION
2006
Springer
14 years 9 days ago
2006
Springer
In a previous work we have presented a formal framework devoted to show the relevance of choreography and orchestration in the design of service oriented applications. Even if usef...