5055 search results - page 322 / 1011 » Relative Timing |
188
click to vote
ISMIS
2005
Springer
16 years 24 days ago
2005
Springer
A class of formulas called factored negation normal form is introduced. They are closely related to BDDs, but there is a DPLL-like tableau procedure for computing them that operate...
172
click to vote
KIVS
2005
Springer
16 years 23 days ago
2005
Springer
Abstract: Although file and printer sharing services have been deployed almost ubiquitously for a long time as part of Microsoft Windows, only recent peer-to-peer applications pop...
184
click to vote
CBSE
2004
Springer
16 years 20 days ago
2004
Springer
Specification of Quality of Service (QoS) for components can only be done in relation to the QoS the components themselves are given by imported components. Developers as well as ...
154
click to vote
ICALT
2003
IEEE
16 years 17 days ago
2003
IEEE
This paper describes a study that investigates the use of a multimodal technology in a learning task. In relation to the recent interest in learning as a multimodal experience, th...
183
click to vote
CAV
2003
Springer
16 years 15 days ago
2003
Springer
In previous work, we showed how structural information can be used to efficiently generate the state-space of asynchronous systems. Here, we apply these ideas to symbolic CTL model...