434 search results - page 48 / 87 » Structural Operational Semantics for Weighted Transition Sys... |
EDOC
2006
IEEE
15 years 6 months ago
2006
IEEE
The correctness of business process models is of paramount importance for the application on an enterprise level. A severe problem is that several languages for business process m...
117
click to vote
EUROPAR
2003
Springer
15 years 5 months ago
2003
Springer
The growing success of wireless ad hoc networks and portable hardware devices presents many interesting problems to software engineers. Particular, coordination is a challenging t...
104
click to vote
APCCM
2004
15 years 1 months ago
2004
In this paper we present a multilingual information retrieval system that provides access to Tourism information by exploiting the intuitiveness of natural language. In particular...
CIA
2004
Springer
15 years 5 months ago
2004
Springer
Given a specification of communication rules in a multiagent system (in the form of protocols, ACL semantics, etc.), the question of how to design appropriate agents that can oper...
107
click to vote
JUCS
2007
14 years 11 months ago
2007
Abstract: A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, pro...