3255 search results - page 48 / 651 » Combination of Abstractions in the ASTR |
ZUM
1998
Springer
13 years 11 months ago
1998
Springer
Abstract. We present a new combination CSP-OZ-DC of three well researched formal techniques for the specification of processes, data and time: CSP [17], Object-Z [36], and Duration...
AAMAS
2006
Springer
13 years 7 months ago
2006
Springer
Abstract. In this paper we present a meta strategy that combines two negotiation tactics. The first one based on concessions, and the second one, a trade-off tactic. The goal of th...
GI
1998
Springer
13 years 12 months ago
1998
Springer
Abstract. Automatic gesture recognition holds the promise of making man-machine interfaces more natural and intuitive. We discuss six requirements for gesture recognition by robots...
AMOST
2007
ACM
13 years 11 months ago
2007
ACM
When integrating dierent system components, the interaction between dierent features is often error prone. Typically errors occur on interruption, concurrency or disabling/ enabli...
CLUSTER
2007
IEEE
13 years 7 months ago
2007
IEEE
Abstract— Software component technologies are being accepted as an adequate solution for handling the complexity of applications. However, existing software component models tend...