5477 search results - page 512 / 1096 » Contexts, Domains, and Software |
178
click to vote
FASE
2004
Springer
16 years 25 days 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...
194
click to vote
ISMIR
2004
Springer
16 years 25 days ago
2004
Springer
Nowadays, music fans are beginning to massively use mobile digital music players and dedicated software to organize and play large collections of music. In this context, users dea...
221
click to vote
RE
2004
Springer
16 years 24 days ago
2004
Springer
Due to the generality and complexity of enterprise systems, they are challenging to implement and deploy successfully in organizations. Many of these problems are rooted in the wa...
206
click to vote
SEM
2004
Springer
16 years 24 days ago
2004
Springer
The use of handheld networked devices to access information systems by people moving around is spreading rapidly. Systems being used in this way typically face dynamic variation in...
222
click to vote
VMCAI
2004
Springer
16 years 24 days 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 ...