1830 search results - page 325 / 366 » Centering in Dynamic Semantics |
118
click to vote
PEPM
1993
ACM
15 years 3 months ago
1993
ACM
The aim of binding-time analysis is to determine when variables, expressions, statements, etc. in a program can be evaluated by classifying these into static (compile-time) and dy...
132
Voted
SSD
1993
Springer
15 years 3 months ago
1993
Springer
: Spatial data types or algebras for database systems should (i) be fully general (which means, closed under set operations, hence e.g. a region value can be a set of polygons with...
ATAL
2007
Springer
15 years 3 months ago
2007
Springer
From a multiagent viewpoint, a workflow is a dynamic set of tasks performed by a set of agents to reach a shared goal. We show herein that commitments among agents can be used to ...
FMCAD
2009
Springer
15 years 3 months ago
2009
Springer
This paper discusses a methodology used on an industrial hardware development project to validate various cache-coherence protocol components. The idea is to use a high level model...
CAISE
2006
Springer
15 years 2 months ago
2006
Springer
The development of collaborative environments that not only manage information and communication, but also support the actual work processes of organisations is very important. XML...