979 search results - page 108 / 196 » Presentations for Abstract Context Institutions |
FASE
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In this paper we present a novel approach for the predicative specification of user rights in the context of an object oriented use case driven development process. We e...
ICCS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. The proliferation of sensor networks in various areas of technology has enabled real-time behavioral monitoring of various physical systems in various length and time sca...
KI
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Table soccer (also called “foosball”) is much simpler than real soccer. Nevertheless, one faces the same challenges as in all other robotics domains. Sensors are nois...
PRICAI
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. The problem of interpreting Natural Language (NL) discourse is generally of exponential complexity. However, since interactions with users must be conducted in real time,...
VMCAI
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...