4211 search results - page 630 / 843 » Types as Abstract Interpretations |
147
click to vote
AIL
2004
15 years 5 months ago
2004
In this article we describe two core ontologies of law that specify knowledge that is common to all domains of law. The first one, FOLaw describes and explains dependencies between...
152
click to vote
COMBINATORICS
2000
15 years 4 months ago
2000
Two tournaments T1 and T2 on the same vertex set X are said to be switching equivalent if X has a subset Y such that T2 arises from T1 by switching all arcs between Y and its comp...
169
click to vote
ISOLA
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Service-oriented systems have recently emerged as context-independent component-based systems. Unlike components, services can be created, invoked, composed, and destroye...
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We study positive measures that are solutions to an abstract optimisation problem, which is a generalisation of a classical variational problem with a constraint on infor...
151
click to vote
TAAS
2010
14 years 11 months ago
2010
stractions that support application developers to describe dynamic organizations. The organization model is part of an integrated approach, called MACODO: Middleware Architecture f...