4353 search results - page 236 / 871 » Expressiveness of Process Algebras |
146
click to vote
ESA
2006
Springer
15 years 10 months ago
2006
Springer
We design compact and responsive kinetic data structures for detecting collisions between n convex fat objects in 3-dimensional space that can have arbitrary sizes. Our main result...
163
click to vote
JOLLI
2002
15 years 6 months ago
2002
Temporal logic can be used to describe processes: their behaviour is characterized by a set of temporal models axiomatized by a temporal theory. Two types of models are most often ...
171
click to vote
EDOC
2007
IEEE
16 years 26 days ago
2007
IEEE
Abstract— In practice, the development of process-aware information systems suffers from a gap between conceptual business process models and executable workflow specifications...
156
click to vote
ER
2003
Springer
15 years 11 months ago
2003
Springer
A modeling and development methodology is a combination of a language for expressing the universal or domain ontology and an approach for developing systems using that language. A ...
166
click to vote
OTM
2007
Springer
16 years 20 days ago
2007
Springer
Existing approaches for the processing of location-dependent queries implicitly assume location data expressed at maximum precision (e.g., GPS). However, there exist applications w...