1804 search results - page 15 / 361 » On set systems with a threshold property |
110
Voted
ATVA
2006
Springer
15 years 5 months ago
2006
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. Each safety property can be associated with...
109
Voted
FSTTCS
2005
Springer
15 years 7 months ago
2005
Springer
Monitoring a distributed system to detect a stable property is an important problem with many applications. The problem is especially challenging for a dynamic distributed system b...
126
click to vote
CAV
2005
Springer
15 years 7 months ago
2005
Springer
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
113
click to vote
WORDS
2005
IEEE
15 years 7 months ago
2005
IEEE
The increasing complexity of embedded systems calls for software design and implementation techniques that support specialization without abandonment of reusability. This brings u...
149
click to vote
ECRA
2007
15 years 1 months ago
2007
Recommendation systems have been studied actively since the 1990s. Generally, recommendation systems choose one or more candidates from a set of candidates through a filtering pro...