Sciweavers

41 search results - page 3 / 9
» A Generic Persistence Model for (C)LP Systems (and Two Usefu...
Sort
View
IJWIS
2006
104views more  IJWIS 2006»
13 years 5 months ago
DaVinci - A model-driven web engineering framework
The World Wide Web has undergone a rapid transition from the originally static hypertext to an ubiquitous hypermedia system. Today, the Web is not only used as a basis for distribu...
Andreas Langegger, Jürgen Palkoska, Roland Wa...
MVA
2008
159views Computer Vision» more  MVA 2008»
13 years 5 months ago
Coopetitive multi-camera surveillance using model predictive control
We present a generic framework for enhanced active multi-sensing. We propose a coopetitive interaction approach, which combines the salient features of cooperation and competition ...
Vivek K. Singh, Pradeep K. Atrey, Mohan S. Kankanh...
COREGRID
2007
Springer
13 years 11 months ago
Interoperability of Grid component models: GCM and CCA case study
This paper presents a case study in the generic design of Grid component models. It defines a framework allowing two component systems, one running in a CCA environment, and anoth...
Maciej Malawski, Marian Bubak, Françoise Ba...
DAIS
2008
13 years 6 months ago
Using Object Replication for Building a Dependable Version Control System
Object-oriented technologies are frequently used to design and implement distributed applications. Object replication is a well-established approach to increase the dependability f...
Rüdiger Kapitza, Peter Baumann, Hans P. Reise...
ATVA
2005
Springer
132views Hardware» more  ATVA 2005»
13 years 11 months ago
Flat Counter Automata Almost Everywhere!
Abstract. This paper argues that flatness appears as a central notion in the verification of counter automata. A counter automaton is called flat when its control graph can be ...
Jérôme Leroux, Grégoire Sutre