Sciweavers

2714 search results - page 234 / 543
» On the Notion of Value Object
Sort
View
ESA
2006
Springer
103views Algorithms» more  ESA 2006»
15 years 10 months ago
Greedy in Approximation Algorithms
The objective of this paper is to characterize classes of problems for which a greedy algorithm finds solutions provably close to optimum. To that end, we introduce the notion of k...
Julián Mestre
AAAI
2007
15 years 9 months ago
Partial Matchmaking using Approximate Subsumption
Description Logics, and in particular the web ontology language OWL has been proposed as an appropriate basis for computing matches between structured objects for the sake of info...
Heiner Stuckenschmidt
IESA
2007
15 years 8 months ago
SAMBA - An Agent architecture for Ambient Intelligence Elements Interoperability
The SAMBA (Systems for AMBient intelligence enabled by Agents) architecture reported here is a conceptual service-oriented architecture supporting the interaction and interoperabil...
Arne-Jørgen Berre, Giovanna Di Marzo Seruge...
FORTEST
2008
15 years 8 months ago
Testing Real-Time Systems Using UPPAAL
Abstract. This chapter presents principles and techniques for model-based blackbox conformance testing of real-time systems using the UPPAAL model-checking tool-suite. The basis fo...
Anders Hessel, Kim Guldstrand Larsen, Marius Mikuc...
178
Voted
WSPI
2008
15 years 8 months ago
Practices, Systems, and Context Working as Core Concepts in Modeling Socio-Technical Systems
This work draws on the cultural historical activity-theory and the theory of social systems to model socio-technical systems. The concepts of practice, system, and context work as ...
Heidrun Allert, Christoph Richter