660 search results - page 58 / 132 » Formalizing the Development of Agent-Based Systems Using Gra... |
114
Voted
CAISE
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Modern process-aware information systems store detailed information about processes as they are being executed. This kind of information can be used for very different p...
134
click to vote
AMKM
2003
Springer
15 years 7 months ago
2003
Springer
This paper presents an agent-based approach to semantic exploration and knowledge discovery in large information spaces by means of capturing, visualizing and making usable implic...
124
click to vote
ESCIENCE
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper presents the formal syntax and the operational semantics of Taverna, a workflow management system with a large user base among the e-Science community. Such formal foun...
109
Voted
SERP
2003
15 years 3 months ago
2003
System reliability has become an increasingly important benchmark in measuring service continuity. As part of many service level agreements, system performance is gauged by how lo...
141
click to vote
JLP
2006
15 years 2 months ago
2006
We present a formal framework for notions related to testing and model based test generation for a behavioural subset of UML Statecharts (UMLSCs). This framework builds, on one ha...