2586 search results - page 255 / 518 » Automatic Abstraction for Congruences |
192
Voted
WAC
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. In this paper we describe ConStruct, a distributed, contextaggregation based service infrastructure which supports the development of context-aware applications. ConStruc...
173
click to vote
ACII
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. This paper presents a Bayesian network based multi-cue fusion method for robust and real-time fist tracking. Firstly, a new strategy, which employs the latest work in fa...
163
click to vote
PASTE
2004
ACM
16 years 1 days ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
167
click to vote
AMAST
2004
Springer
16 years 10 hour ago
2004
Springer
Abstract. Software applications are inevitably concerned with data integrity, whether the data is stored in a database, files, or program memory. An integrity guard is code execut...
192
click to vote
AWCC
2004
Springer
16 years 8 hour ago
2004
Springer
Abstract. This paper proposes an approach to dynamically reconfiguring service-oriented applications from a business perspective: CAFISEadapt, which defines both business-level and...