2364 search results - page 100 / 473 » An Engine for Computing Well-Founded Models |
115
click to vote
DAC
2002
ACM
16 years 5 months ago
2002
ACM
Design tools can be profitably associated with libraries of reusable modeling components that will make the description and also the validation of the models much easier. Furtherm...
110
click to vote
PEPM
2009
ACM
16 years 28 days ago
2009
ACM
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...
119
click to vote
ICSOC
2007
Springer
15 years 10 months ago
2007
Springer
Adding runtime support for BPEL extensions typically r reacting to navigation events from a BPEL engine executing an extende model and (2) affecting the engine’s navigation behav...
115
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
Workflow enactment systems are becoming an effective solution to ease programming, deployment and execution of distributed applications in several domains such as telecommunicatio...
192
click to vote
IJCAI
1989
15 years 5 months ago
1989
One view of expert system development separates the endeavor into two parts. First, a domain expert, with the aid of a knowledge engineer, articulates a procedure for performing t...