Sciweavers

3381 search results - page 307 / 677
» Extending Dependencies with Conditions
Sort
View
AUTOMATICA
2007
113views more  AUTOMATICA 2007»
15 years 6 months ago
Active mode observability of switching linear systems
In this paper active mode observability is addressed for a class of discrete-time linear systems that may switch in an unknown and unpredictable way among different modes taken f...
Marco Baglietto, Giorgio Battistelli, Luca Scardov...
CCR
2010
96views more  CCR 2010»
15 years 6 months ago
Dummynet revisited
Dummynet is a widely used link emulator, developed long ago to run experiments in user-configurable network environments. Since its original design, Dummynet has been extended in ...
Marta Carbone, Luigi Rizzo
COMCOM
2008
87views more  COMCOM 2008»
15 years 6 months ago
Providing VANET security through active position detection
Vehicle position is one of the most valuable pieces of information in a Vehicular Adhoc NETwork (VANET). The main contribution of this work is a novel approach to enhancing positi...
Gongjun Yan, Stephan Olariu, Michele C. Weigle
CORR
2008
Springer
90views Education» more  CORR 2008»
15 years 6 months ago
Dynamic data models: an application of MOP-based persistence in Common Lisp
The data model of an application, the nature and format of data stored across executions, is typically a very rigid part of its early specication, even when prototyping, and chang...
Pierre Thierry, Simon E. B. Thierry
AMAI
2006
Springer
15 years 6 months ago
Strong order equivalence
Abstract. Recently, notions of equivalence for Answer Set Programming have been studied intensively and were shown to be beneficial for modular programming and automated optimizati...
Wolfgang Faber, Kathrin Konczak