285 search results - page 19 / 57 » Dynamic Symbolic Execution for Testing Distributed Objects |
102
click to vote
ISSTA
2000
ACM
15 years 4 months ago
2000
ACM
Increasing numbers of software developers are using the Unified Modeling Language (UML) and associated visual modeling tools as a basis for the design and implementation of their ...
CONCUR
2010
Springer
15 years 25 days ago
2010
Springer
Abstract. In this paper we introduce a real-time extension of the concurrent object modeling language Creol which is based on duration statements indicating best and worst case exe...
PADS
2000
ACM
15 years 4 months ago
2000
ACM
Multi-agent systems comprise multiple, deliberative agents embedded in and recreating patterns of interactions. Each agent’s execution consumes considerable storage and calculat...
107
click to vote
JSS
2007
14 years 11 months ago
2007
The resource management in distributed real-time systems becomes increasingly unpredictable with the proliferation of data-driven applications. Therefore, it is inefficient to all...
86
Voted
ICSE
1997
IEEE-ACM
15 years 3 months ago
1997
IEEE-ACM
As software projects evolve, possibly differing in size, complexity, scope, and purpose, the development processes that support the project must evolve to reflect these changes. T...