1312 search results - page 194 / 263 » Embedded contract languages |
143
Voted
AIL
2005
15 years 3 months ago
2005
This paper outlines a multi-agent architecture for regulated information exchange of crime investigation data between police forces. Interactions between police officers about info...
110
Voted
DKE
2000
15 years 3 months ago
2000
: The duality of objects and relationships is so deeply embedded in our thinking that almost all modelling languages include it as a fundamental distinction. Yet there is evidence ...
142
Voted
LOGCOM
2002
15 years 3 months ago
2002
One can add the machinery of relation symbols and terms to a propositional modal logic without adding quantifiers. Ordinarily this is no extension beyond the propositional. But if...
132
Voted
WAIM
2010
Springer
15 years 1 months ago
2010
Springer
We present HyperGraphDB, a novel graph database based on generalized hypergraphs where hyperedges can contain other hyperedges. This generalization automatically reifies every ent...
160
click to vote
FM
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. This paper details a collaboration between Aalborg University and NOVO Nordisk in developing an automatic model-based test generation tool for system testing of the graph...