1522 search results - page 252 / 305 » Control-Driven Tasks: Modeling and Analysis |
ICCAD
1999
IEEE
14 years 1 months ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...
JCST
2008
13 years 8 months ago
2008
The task of clustering is to identify classes of similar objects among a set of objects. The definition of similarity varies from one clustering model to another. However, in most ...
ICDE
2010
IEEE
14 years 8 months ago
2010
IEEE
Scientific workflows are increasingly used for rapid integration of existing algorithms to form larger and more comgrams. Such workflows promise to provide more abstract, yet execu...
VSTTE
2005
Springer
14 years 2 months ago
2005
Springer
In this paper, we consider the Grand Challenge under a very specific perspective: the enabling of application experts without programming knowledge to reliably model their busines...
WSE
2002
IEEE
14 years 1 months ago
2002
IEEE
As the use of the World Wide Web becomes more pervasive within our society, businesses and institutions are required to migrate a wide range of services to the web. Difficulties a...