5599 search results - page 46 / 1120 » Abstract State Services |
122
Voted
ENTCS
2008
15 years 1 months ago
2008
istic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions Michael J. A. Smith1 ,2 Laboratory for Foundations of Computer Science University of Edinb...
142
Voted
IWACA
1994
15 years 5 months ago
1994
Abstract. Object-oriented design principles map well onto protocol implementations because protocols essentially manipulate two structures--packets and the states of the endpoints....
WWW
2003
ACM
16 years 2 months ago
2003
ACM
This paper presents an approach for the design and development of service-driven applications. These applications rely on the collaboration of multiple services that businesses of...
122
click to vote
FOSSACS
2007
Springer
15 years 7 months ago
2007
Springer
A web service is modeled here as a finite state machine. A composition problem for web services is to decide if a given web service can be constructed from a given set of web serv...
111
click to vote
CAV
2007
Springer
15 years 7 months ago
2007
Springer
ng-Lens Abstraction for Markov Decision Processes⋆ In Proc. of CAV 2007: 19th International Conference on Computer-Aided Verification, Lectures Notes in Computer Science. c Spri...