2517 search results - page 218 / 504 » Specifying Weak Sets |
179
click to vote
CAV
2005
Springer
16 years 4 days 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 ...
183
click to vote
CRYPTO
2005
Springer
16 years 4 days ago
2005
Springer
Forgery and counterfeiting are emerging as serious security risks in low-cost pervasive computing devices. These devices lack the computational, storage, power, and communication r...
166
click to vote
DALT
2005
Springer
16 years 4 days ago
2005
Springer
Agents need to be able to change their beliefs; in particular, they should be able to contract or remove a certain belief in order to restore consistency to their set of beliefs, a...
143
click to vote
GECCO
2005
Springer
16 years 4 days ago
2005
Springer
Web services are rapidly changing the landscape of software engineering. One of the most interesting challenges introduced by web services is represented by Quality Of Service (Qo...
157
click to vote
ISMIS
2005
Springer
16 years 3 days ago
2005
Springer
With the rapid advancement of information technology, scalability has become a necessity for learning algorithms to deal with large, real-world data repositories. In this paper, sc...