7209 search results - page 551 / 1442 » Software Engineering for Multi-Agent Systems |
145
click to vote
SIGSOFT
2010
ACM
15 years 2 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...
165
click to vote
MSR
2011
ACM
14 years 7 months ago
2011
ACM
Modern software is often developed over many years with hundreds of thousands of commits. Commit metadata is a rich source of social characteristics, including the commit’s time...
116
click to vote
EMSOFT
2010
Springer
15 years 2 months ago
2010
Springer
Many safety-critical embedded systems are subject to certification requirements. However, only a subset of the functionality of the system may be safety-critical and hence subject...
117
click to vote
ISSRE
2000
IEEE
15 years 9 months ago
2000
IEEE
The behavior of nondeterminate systems can be hard to predict, since similar inputs at different times can generate different outputs. In other words, the behavior seen during tes...
124
click to vote
COMPSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
Many organizations would benefit from enterprise-wide, shared information systems. It is common for these organizations to have in place a number of smaller information systems, e...