6079 search results - page 841 / 1216 » Aspect-Oriented Process Engineering |
187
click to vote
EKAW
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. In this paper we present an overview of the principle components of GIPO, an environment to support knowledge acquisition for AI Planning. GIPO assists in the knowledge f...
163
click to vote
FOSSACS
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Using a probabilistic polynomial-time process calculus designed for specifying security properties as observational equivalences, we develop a form of bisimulation that j...
191
click to vote
IBERAMIA
2004
Springer
16 years 4 days ago
2004
Springer
Many approaches of the agent paradigm emphasize the social and intentional features of their systems, what are called social properties. The study of these aspects demands their ow...
215
click to vote
ICCS
2004
Springer
16 years 3 days ago
2004
Springer
The Data Driven Design Optimization Methodology (DDDOM) is a Dynamic Data Driven Application System (DDDAS) developed for engineering design optimization. The DDDOM synergizes expe...
170
click to vote
ICFEM
2004
Springer
16 years 3 days ago
2004
Springer
Reachability testing is a technique for testing concurrent programs. Reachability testing derives test sequences on-the-fly as the testing process progresses, and can be used to sy...