320 search results - page 29 / 64 » Constructing Invariants for Hybrid Systems |
152
click to vote
SIGIR
2006
ACM
15 years 11 months ago
2006
ACM
We present a new family of hybrid index maintenance strategies to be used in on-line index construction for monotonically growing text collections. These new strategies improve up...
150
click to vote
MMAS
2010
Springer
15 years 18 days ago
2010
Springer
Based on the thermodynamic concept of a reservoir, we investigate a computational model for interaction with unresolved degrees of freedom (a thermal bath). We assume that a finite...
162
click to vote
ICSM
2009
IEEE
16 years 15 days ago
2009
IEEE
Within a large, object-oriented software system it is common to partition the classes into a set of packages, which implicitly serve as a set of coarsely-grained logical design un...
160
click to vote
ACAL
2007
Springer
16 years 1 days ago
2007
Springer
Previous research has shown that artificial immune systems can be used to produce robust schedules in a manufacturing environment. The main goal is to develop building blocks (anti...
156
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...