4212 search results - page 822 / 843 » Rights Expression Languages |
IFM
2004
Springer
14 years 23 days ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
NMR
2004
Springer
14 years 23 days ago
2004
Springer
A logic is defined which in addition to propositional calculus contains several types of probabilistic operators which are applied only to propositional formulas. For every s ∈...
OOPSLA
2004
Springer
14 years 23 days ago
2004
Springer
As improvements in processor speed continue to outpace improvements in cache and memory speed, poor locality increasingly degrades performance. Because copying garbage collectors ...
ROBOCUP
2004
Springer
14 years 23 days ago
2004
Springer
The paper discusses a top-down approach to model soccer knowledge, as it can be found in soccer theory books. The goal is to model soccer strategies and tactics in a way that they ...
SSDBM
2003
IEEE
14 years 20 days ago
2003
IEEE
Life science researchers frequently need to query large protein data sets in a variety of different ways. Protein data sets have a rich structure that includes its primary structu...