1669 search results - page 162 / 334 » Structured Specification of Model Interpreters |
145
click to vote
BIOSYSTEMS
2008
15 years 3 months ago
2008
This paper aims to offer an overview of the meaning of autonomy for biological individuals and artificial models rooted in a specific perspective that pays attention to the histor...
125
click to vote
FMSD
2006
15 years 3 months ago
2006
In this paper we present data structures and distributed algorithms for CSL model checking-based performance and dependability evaluation. We show that all the necessary computatio...
146
click to vote
JUCS
2007
15 years 3 months ago
2007
: Ontologies have been recognized as a fundamental infrastructure for advanced approaches to Knowledge Management (KM) automation in SOA. Building services communicate with each ot...
148
click to vote
DALT
2004
Springer
15 years 7 months ago
2004
Springer
Systems of autonomous agents providing automated services over the Web are fast becoming a reality. Often these agent systems are constructed using procedural architectures that pr...
112
Voted
ECOOP
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Our research group has analyzed many industrial, frameworkbased applications. In these applications, simple functionality often requires excessive runtime activity. It is...