2878 search results - page 505 / 576 » Analyzing the Uses of a Software Modeling Tool |
117
Voted
FASE
2009
Springer
15 years 5 months ago
2009
Springer
Model checking tools based on the iterative refinement of predicate abstraction (e.g., Slam and Blast) often feature a specification language for expressing complex behavior rules....
126
click to vote
ATAL
2010
Springer
15 years 2 months ago
2010
Springer
This demo illustrates MAS-DisCoSim 4 PDP, a testbed environment for evaluating distributed multi-agent system solutions to pickup and delivery problems (PDPs). PDPs are well-studi...
122
click to vote
EDBTW
2010
Springer
14 years 11 months ago
2010
Springer
Nowadays, due to the lack of face-to-face contact, distance course instructors have real difficulties knowing who their students are, how their students behave in the virtual cour...
ATAL
2003
Springer
15 years 6 months ago
2003
Springer
The emerging science of simulation enables us to explore the dynamics of large and complex systems even if a formal representation and analysis of the system is intractable and a ...
109
click to vote
TSE
2011
14 years 8 months ago
2011
Abstract— The Publish-Subscribe (P/S) communication paradigm fosters high decoupling among distributed components. This facilitates the design of dynamic applications, but also i...