4350 search results - page 572 / 870 » Case studies for contract-based systems |
154
click to vote
INTERACT
2007
15 years 8 months ago
2007
This paper discusses how semiotic engineering can support the formulation of problems and solutions involved in handling face-to-face (F2F) sociability models in computer-mediated ...
169
click to vote
SE
2008
15 years 8 months ago
2008
Existing software systems contain a significant amount of duplicated code. Such redundancy can negatively impact program correctness, since inconsistent updates to duplicated code ...
161
click to vote
VAMOS
2008
Springer
15 years 8 months ago
2008
Springer
In this paper we propose an approach to support dynamic or runtime variability in systems that must adapt dynamically to changing runtime context. The approach is founded on refle...
154
click to vote
ECEH
2006
15 years 8 months ago
2006
: The KVB Data Warehouse enables the Bavarian Association of Statutory Health Insurance (SHI) Physicians to track public health data in a centralised way. In a sophisticated proces...
195
click to vote
APPINF
2003
15 years 8 months ago
2003
We present an application prototype of dynamic knowledge representation programmed in LUPS (a language for updating logic programs). This is a case study to model intelligent agen...