2520 search results - page 352 / 504 » Model-checking behavioral programs |
129
click to vote
CGO
2006
IEEE
15 years 6 months ago
2006
IEEE
Class hierarchies in object-oriented programs are used to capture various attributes of the underlying objects they represent, allowing programmers to encapsulate common attribute...
113
click to vote
DIAGRAMS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We present a method for constructing a teleological model of a drawing of a physical device through analogical transfer of the teleological model of the same device in an...
106
click to vote
CI
2007
15 years 2 months ago
2007
In this paper we present a computational approach to developing effective training systems for virtual simulation environments. In particular, we focus on a Naval simulation syste...
124
click to vote
WWW
2004
ACM
16 years 2 months ago
2004
ACM
Complex Semantic Web (SW) services may have intricate data state, autonomous process behavior and concurrent interactions. The design of such SW service systems requires precise a...
114
click to vote
WWW
2004
ACM
16 years 2 months ago
2004
ACM
Service-oriented architectures (SOA) will provide the basis of the next generation of distributed software systems, and have already gained enormous traction in the industry throu...