3335 search results - page 125 / 667 » Grid result checking |
115
click to vote
DAGSTUHL
2006
15 years 4 months ago
2006
Abstract Recently, languages such as BPEL and CDL have been proposed to describe the way services can interact from a behavioral perspective. The emergence of these languages heral...
143
click to vote
NSDI
2004
15 years 4 months ago
2004
Network protocols must work. The effects of protocol specification or implementation errors range from reduced performance, to security breaches, to bringing down entire networks....
138
click to vote
ENTCS
2002
15 years 3 months ago
2002
The MaC system has been developed to provide assurance that a target program is running correctly with respect to formal requirements specification. This is achieved by monitoring...
153
Voted
CAV
2012
Springer
13 years 5 months ago
2012
Springer
Craig interpolation is a well known method of abstraction successfully used in both hardware and software model checking. The logical strength of interpolants can affect the quali...
215
click to vote
ICDE
2003
IEEE
16 years 4 months ago
2003
IEEE
Semantic caches, originally proposed for client-server database systems, are being recently deployed to accelerate the serving of dynamic web content by transparently caching data...