325 search results - page 52 / 65 » Controlling Petri Net Process Models |
FOSSACS
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Symbolic bisimulations were introduced as a mean to define value-passing process calculi using smaller, possibly finite labelled transition systems, equipped with symboli...
253
click to vote
FSKD
2011
Springer
13 years 11 months ago
2011
Springer
—This paper describes a model of a hierarchical, heterogeneous knowledge-base. The proposed model consists of an associative level that is implemented by a Kanerva-like sparse di...
102
click to vote
ICIW
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract— Composition of web services is much studied to support business-to-business and enterprise application integration in e-Commerce. Current web service composition approa...
100
click to vote
ISEM
2006
14 years 11 months ago
2006
Abstract The GXL Graph eXchange Language is an XML-based standard exchange language for sharing graph data between tools. GXL can be customized to exchange application specific typ...
ESAW
2004
Springer
15 years 5 months ago
2004
Springer
The deployment of multi-agent systems demands for justified confidence into their behaviour, both with respect to correct results of computations and with respect to timeliness t...