8179 search results - page 51 / 1636 » The PRACTIONIST Development Tool |
226
click to vote
BIRTHDAY
2010
Springer
15 years 1 months ago
2010
Springer
Abstract Queueing Petri nets are a powerful formalism that can be exploited for modeling distributed systems and analyzing their performance and scalability. By combining the model...
136
click to vote
TSE
2002
15 years 4 months ago
2002
CASE (Computer Aided Software Engineering) tools are believed to have played a critical role in improving software productivity and quality by assisting tasks in software developme...
157
click to vote
TGC
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We present a tool developed for fostering probabilistic model checking of services formally specified in Scows, a stochastic enrichment of the Calculus for Orchestration ...
167
click to vote
PAAMS
2010
Springer
15 years 3 months ago
2010
Springer
Abstract Monitoring the runtime behaviour of a distributed agent system for debugging or demonstration purposes provides a challenge to agent system developers. As a lot of the com...
151
click to vote
SIGSOFT
2010
ACM
15 years 3 months ago
2010
ACM
This paper presents Basset, a tool for systematic testing of JVM-based actor programs. The actor programming model offers a promising approach for developing reliable concurrent a...