3239 search results - page 317 / 648 » A Logical Process Calculus |
225
click to vote
ICDT
2009
ACM
16 years 5 months ago
2009
ACM
Almost all medium- and large-scale businesses rely on electronic workflow systems to manage their business processes. A key challenge is to enable the easy re-use and modification...
122
click to vote
VLSID
2002
IEEE
16 years 4 months ago
2002
IEEE
Increasing complexity of the functionalities and the resultant growth in number of gates integrated in a chip coupled with shrinking geometries and short cycle time requirements br...
178
click to vote
WCE
2007
15 years 5 months ago
2007
—Spatial query execution is an essential functionality of a sensor network. Redundancy within a sensor network can be exploited to reduce the communication cost incurred in execu...
121
click to vote
ATS
2005
IEEE
15 years 10 months ago
2005
IEEE
— Structural transformation of a design to enhance its testability while satisfying design constraints on power and performance, can result in improved test cost and test confid...
133
click to vote
ICTAI
2005
IEEE
15 years 10 months ago
2005
IEEE
Partially Observable Markov Decision Processes (POMDPs) provide a general framework for AI planning, but they lack the structure for representing real world planning problems in a...