9455 search results - page 440 / 1891 » The Modelling Language Zinc |
190
click to vote
FASE
2001
Springer
16 years 3 days ago
2001
Springer
Abstract. The Object Constraint Language OCL offers a formal notation for constraining the modelling elements occurring in UML diagrams. In this paper we apply OCL for developing ...
160
click to vote
ECSQARU
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. Today, different formalisms exist to solve reasoning problems under uncertainty. For most of the known formalisms, corresponding computer implementations are available. ...
174
click to vote
VLDB
1994
ACM
15 years 11 months ago
1994
ACM
As video data is penetrating many information systems the need for database support for video data evolves. In this paper we present a generic data model that captures the structu...
190
click to vote
ACSC
2004
IEEE
15 years 11 months ago
2004
IEEE
The Unified Modeling Language (UML) is widely used in the software development process for specification of system based on the object-oriented paradigm. Thought the current versi...
154
click to vote
CSL
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. In [6] J. Laird has shown that an infinitary sequential extenPCF has a fully abstract model in his category of locally boolean domains (introduced in [8]). In this paper ...