Sciweavers

2173 search results - page 250 / 435
» An operational semantics for skeletons
Sort
View
109
Voted
EURODAC
1995
IEEE
146views VHDL» more  EURODAC 1995»
15 years 4 months ago
Practical inter-operation of CAD tools using a flexible procedural interface
This paper addresses the problem of semantic heterogeneity between data representations with particular emphasis on CAD tool data representations. The combination of powerful mapp...
Zahir Moosa, Nick Filer, Michael Brown, J. Heaton,...
92
Voted
VLDB
1987
ACM
75views Database» more  VLDB 1987»
15 years 4 months ago
The POSTGRES Data Model
The design of the POSTGRES data model is described. The data model is a relational model that has been extended with abstract data types including user-defined operators and proce...
Lawrence A. Rowe, Michael Stonebraker
71
Voted
ATAL
2008
Springer
15 years 2 months ago
Model-checking agent refinement
We present a proof-technique for reducing the nondeterminbstract agent specifications in a BDI framework by means of refinement. We implement the operational semantics of agent sp...
Lacramioara Astefanoaei, Frank S. de Boer
88
Voted
IESA
2007
15 years 2 months ago
Improving Interoperability in Collaborative Modelling
The application of model-driven development facilitates faster and more flexible integration by separating system descriptions to different levels of abstraction. In crossorganisat...
Stephan Roser, Bernhard Bauer
DMS
2008
152views Multimedia» more  DMS 2008»
15 years 2 months ago
Layered Context Modeling in Situated Information Processing
In this paper I propose a model for situated information processing based on a set of layers, each related to a different processing phase and to a different context type. The mod...
Augusto Celentano