5726 search results - page 720 / 1146 » Supporting annotations on relations |
190
click to vote
TACAS
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...
184
click to vote
UML
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Nowadays, object-oriented meta-languages such as MOF (MetaObject Facility) are increasingly used to specify domain-specific languages in the model-driven engineering comm...
170
click to vote
DMSN
2004
ACM
16 years 7 days ago
2004
ACM
We consider the in-network computation of approximate “big picture” summaries in bandwidth-constrained sensor networks. First we review early work on computing the Haar wavele...
160
click to vote
SIGIR
2004
ACM
16 years 7 days ago
2004
ACM
An evaluation methodology that targets ineffective topics is needed to support research on obtaining more consistent retrieval across topics. Using average values of traditional ...
169
click to vote
ADAEUROPE
2004
Springer
16 years 6 days ago
2004
Springer
Abstract: A framework for application-defined scheduling and its corresponding application program interface (API) were defined during the last International Real-Time Ada Workshop...