1802 search results - page 96 / 361 » Using Declarative Specifications in Business Process Design |
FLAIRS
1998
15 years 26 days ago
1998
Wepresent an application designated to the calculation of probabilities in the card gamebridge. Theapplication can be used by bridge players to improvetheir decisions in the game....
106
click to vote
CAV
1997
Springer
15 years 3 months ago
1997
Springer
We demonstrate the feasibility of using the XSB tabled logic programming system as a programmable fixed-point engine for implementing efficient local model checkers. In particular,...
AINA
2008
IEEE
15 years 6 months ago
2008
IEEE
Process management and workflow systems play an important role in the composition of services in business as well as automation environments. Processes are designed using tools a...
ASPDAC
2006
ACM
15 years 5 months ago
2006
ACM
- Timing closure in LSI design becomes more and more difficult. But the conventional interconnect RC extraction method have over-margins caused by its corner conditions settings. I...
107
click to vote
ICCAD
1996
IEEE
15 years 3 months ago
1996
IEEE
Abstract - Using the
exibility provided by multiple functionalities we have developed a new approach for permanent fault-tolerance: Heterogeneous BuiltIn-Resiliency (HBIR). HBIR p...