6020 search results - page 893 / 1204 » A New Approach to Model Counting |
170
click to vote
ICDCSW
2009
IEEE
16 years 1 months ago
2009
IEEE
Building a “Straightforward” path in wireless ad hoc sensor networks (WASNs) not only avoids wasting energy in detours, but also incurs less interference in other transmission...
177
click to vote
ICPPW
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— The migration away from power-hungry, speculative execution procesors towards manycore architectures is good news for the embedded and real-time systems community. Comm...
190
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
Graph-theoretic abstractions are extensively used to analyze massive data sets. Temporal data streams from socioeconomic interactions, social networking web sites, communication t...
175
click to vote
CIARP
2009
Springer
16 years 1 months ago
2009
Springer
Many tasks can be described by sequences of actions that normally exhibit some form of structure and that can be represented by a grammar. This paper introduces FOSeq, an algorithm...
174
click to vote
EMISA
2009
Springer
16 years 1 months ago
2009
Springer
Companies employ business process management suites to model, run, and maintain their processes. These processes are required to comply with requirements originating from standards...