3468 search results - page 627 / 694 » An open logical framework |
99
Voted
IIWAS
2008
15 years 2 months ago
2008
In a service-oriented architecture, systems communicate by exchanging messages. In this work, we propose a formal model based on OCL-constrained UML Class diagrams and a methodolo...
IKE
2007
15 years 2 months ago
2007
The paper presents an integrated set-theoretic data model that offers a framework for defining a unified schema for any database environment. We utilise the concepts ”entity...
108
Voted
ECIS
2004
15 years 2 months ago
2004
In the past two decades, the IS research community underwent an intensive debate and fought hard to legitimise interpretive and qualitative research paradigms. Now that the war is...
122
Voted
GEOINFO
2003
15 years 1 months ago
2003
Relational index structures, as for instance the Relational Interval Tree, the Relational R-Tree, or the Linear Quadtree, support efficient processing of queries on top of existing...
115
Voted
SEC
2004
15 years 1 months ago
2004
Business Processes for Web Services (BPEL4WS) are the new paradigms for lightweight enterprise integration. They cross organizational boundaries and are provided by entities that s...