100 search results - page 11 / 20 » Consistency Checking of RM-ODP Specifications |
MEDINFO
2007
13 years 9 months ago
2007
Temporal constraints play a fundamental role in clinical guidelines. For example, temporal indeterminacy, constraints about duration, delays between actions and periodic repetitio...
WWW
2005
ACM
14 years 8 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...
SELMAS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. This paper presents an agent-oriented modelling language and environment CAMLE. It is based on the conceptual model of multi-agent systems (MAS) proposed and formally def...
TOOLS
2000
IEEE
14 years 2 days ago
2000
IEEE
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software components. It is ...
ICIP
2004
IEEE
14 years 9 months ago
2004
IEEE
This paper presents an improved technique for determining the 3D structure of the human face form stereo images. The approach targets specific regions of the face individually. An...