3993 search results - page 526 / 799 » Matchmaking for Structured Objects |
164
Voted
DEEC
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract. Engineering workflow applications are becoming more and more complex, involving numerous interacting business objects within considerable processes. Analysing the interac...
156
click to vote
ERCIMDL
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Integrated digital access to multiple collections is a prominent issue for many Cultural Heritage institutions. Metadata describing diverse collections must be interopera...
122
click to vote
ESOP
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. The type-and-effects system of the Tofte-Talpin region calculus makes it possible to safely reclaim objects without a garbage collector. However, it requires that regions...
133
click to vote
FORMATS
2006
Springer
15 years 7 months ago
2006
Springer
We add freeze quantifiers to the game logic ATL in order to specify real-time objectives for games played on timed structures. We define the semantics of the resulting logic TATL b...
139
click to vote
3DIM
2001
IEEE
15 years 7 months ago
2001
IEEE
Due to its portability and great maneuverability, a handheld range sensor is a flexible solution or complement to efficiently digitize the 3-D shape for a wide variety of objects....