2588 search results - page 302 / 518 » Engineering Systems Which Generate Emergent Functionalities |
168
Voted
FASE
2008
Springer
15 years 6 months ago
2008
Springer
We introduce a logical verification framework for checking functional properties of service-oriented applications formally specified using the service specification language COWS. ...
131
Voted
INFORMATICALT
2006
15 years 5 months ago
2006
The quality of software engineering projects often suffers due to the large gap between the way stakeholders present their requirements and the way analysts capture and express tho...
142
click to vote
ISPASS
2005
IEEE
15 years 10 months ago
2005
IEEE
We introduce a fast and accurate technique for initializing the directory and cache state of a multiprocessor system based on a novel software structure called the memory timestam...
122
Voted
SEFM
2006
IEEE
15 years 11 months ago
2006
IEEE
In this paper, we give a straightforward generalization of bisimulations to "bisimulations induced by a pair of relations" on the underlying action set. We establish tha...
143
click to vote
OSDI
2008
ACM
16 years 5 months ago
2008
ACM
Library-based record and replay tools aim to reproduce an application's execution by recording the results of selected functions in a log and during replay returning the resu...