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...
150
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...
162
click to vote
ICDE
2006
IEEE
16 years 10 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...
163
click to vote
ICDE
2006
IEEE
16 years 10 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...