452 search results - page 61 / 91 » Symbolic Execution of Behavioral Requirements |
111
Voted
SOSP
2005
ACM
15 years 9 months ago
2005
ACM
This paper describes a general approach to constructing cooperative services that span multiple administrative domains. In such environments, protocols must tolerate both Byzantin...
119
Voted
MICRO
2003
IEEE
15 years 6 months ago
2003
IEEE
Data-parallel programs are both growing in importance and increasing in diversity, resulting in specialized processors targeted at specific classes of these programs. This paper ...
132
Voted
ICECCS
2010
IEEE
15 years 28 days ago
2010
IEEE
Abstract—Complex networks consisting of humans and software services, such as Web-based social and collaborative environments, typically require flexible and context-based inter...
111
Voted
ICSE
2004
IEEE-ACM
16 years 25 days ago
2004
IEEE-ACM
Most research on automated specification-based software testing has focused on the automated generation of test cases. Before a software system can be tested, it must be set up ac...
138
click to vote
EMSOFT
2007
Springer
15 years 7 months ago
2007
Springer
In networked control systems the controller of a physicallydistributed plant is implemented as a collection of tightlyinteracting, concurrent processes running on a distributed ex...