5451 search results - page 318 / 1091 » Typed Operational Semantics |
137
click to vote
AGENTCL
2000
Springer
15 years 9 months ago
2000
Springer
Intelligent agents in the agent language 3APL are computational entities consisting of beliefs and goals which make up their mental state. In this paper, we integrate communicatio...
141
click to vote
CAISE
2006
Springer
15 years 8 months ago
2006
Springer
Recently, schema mapping has found considerable interest in both research and practice. Determining matching components of database or XML schemas is needed in many applications, e...
142
Voted
ER
2000
Springer
15 years 8 months ago
2000
Springer
The development of object-oriented software starts from requirements expressed commonly as Use Cases. The requirements are then converted into a conceptual or analysis model. Analy...
121
Voted
SDB
1995
15 years 8 months ago
1995
In this paper we discuss two data models for spatial database systems: the linear data model and the topological data model. Both can be used to model a wide range of applications....
152
click to vote
ESOP
2010
Springer
15 years 8 months ago
2010
Springer
Language-based information flow methods offer a principled way to enforce strong security properties, but enforcing noninterference is too inflexible for realistic applications. Se...