6020 search results - page 1059 / 1204 » A New Approach to Model Counting |
220
click to vote
CIMCA
2006
IEEE
16 years 10 days ago
2006
IEEE
Business Process Management (BPM) is often a key component of the business change. Business rules, whether embedded within BPM or on their own, have begun playing an ever-increasi...
148
click to vote
FGR
2006
IEEE
16 years 10 days ago
2006
IEEE
Facial composites are typically constructed by witnesses to crime by describing a suspect's face and then selecting facial features from a kit of parts. Unfortunately, when p...
161
click to vote
ICDE
2006
IEEE
16 years 9 days ago
2006
IEEE
The Center for Plasma Edge Simulation (CPES) is a recently funded prototype Fusion Simulation Project, which is part of the DOE SciDAC program. Our center is developing a novel in...
161
Voted
ICDE
2006
IEEE
16 years 9 days ago
2006
IEEE
Today’s model of networking primarily concentrates intelligence at the end hosts with the network itself offering a simple“best-effort”,“data agnostic” communication med...
161
click to vote
INFOCOM
2006
IEEE
16 years 9 days ago
2006
IEEE
— Distributed time synchronization is an important part of a sensor network where sensing and actuation must be coordinated across multiple nodes. Several time synchronization pr...