Sciweavers

2776 search results - page 268 / 556
» System-Level Abstraction Semantics
Sort
View
ESAW
2000
Springer
15 years 10 months ago
Exploiting UML in the Design of Multi-agent Systems
Abstract. Software engineering describes a system at different levels of abstraction. Agent-oriented software engineering introduces a new level, called the agent level, to allow t...
Federico Bergenti, Agostino Poggi
CONCUR
2010
Springer
15 years 7 months ago
Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis
Abstract. In this paper we introduce a real-time extension of the concurrent object modeling language Creol which is based on duration statements indicating best and worst case exe...
Frank S. de Boer, Mohammad Mahdi Jaghoori, Einar B...
CLEIEJ
2004
106views more  CLEIEJ 2004»
15 years 6 months ago
A Calculus for Reconfigurable Component-Based Systems
ept of reconfigurable systems is almost always restricted to the abstract design level, in which configuration languages are used to manipulate software connections. In this paper...
Cidcley Teixeira de Souza, Paulo Roberto Freire Cu...
ENTCS
2002
66views more  ENTCS 2002»
15 years 6 months ago
Rule Formats for Timed Processes
Building on previous work [15,8], this paper describes two syntactic ways of defining `well-behaved' operational semantics for timed processes. In both cases, the rules are d...
Marco Kick
ACL
2009
15 years 4 months ago
A Metric-based Framework for Automatic Taxonomy Induction
This paper presents a novel metric-based framework for the task of automatic taxonomy induction. The framework incrementally clusters terms based on ontology metric, a score indic...
Hui Yang, Jamie Callan