687 search results - page 93 / 138 » Specification and Verification of Model Transformations Usin... |
FAABS
2000
Springer
15 years 4 months ago
2000
Springer
This paper integrates research in robot programming and reasoning about action with research in model-based reasoning about physical systems to provide a capability for modeling an...
116
Voted
CADE
2002
Springer
16 years 25 days ago
2002
Springer
Abstract. We investigate the combination of propositional SAT checkers with domain-specific theorem provers as a foundation for bounded model checking over infinite domains. Given ...
192
click to vote
SIGMOD
2005
ACM
16 years 20 days ago
2005
ACM
Web Service Technology has been developing rapidly as it provides a flexible application-to-application interaction mechanism. Several ongoing research efforts focus on various as...
109
click to vote
ICIAP
2005
ACM
16 years 19 days ago
2005
ACM
In this paper we describe a method for the reconstruction and visualization of functional models of monkey brains. Models are built through the registration of high resolution imag...
105
Voted
WWW
2005
ACM
16 years 1 months ago
2005
ACM
We present a language for specifying web service interfaces. A web service interface puts three kinds of constraints on the users of the service. First, the interface specifies th...