Sciweavers

9507 search results - page 563 / 1902
» Time-based language models
Sort
View
TACAS
2007
Springer
117views Algorithms» more  TACAS 2007»
16 years 1 months ago
Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning
This paper is concerned with bridging the gap between requirements, provided as a set of scenarios, and conforming design models. The novel aspect of our approach is to exploit lea...
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern...
ICECCS
2005
IEEE
87views Hardware» more  ICECCS 2005»
16 years 22 days ago
Modeling Diverse and Complex Interactions Enabled by Middleware as Connectors in Software Architectures
Middleware enables distributed components to interact with each others in diverse and complex manners. Such interactions should be modeled at architecture level for controlling th...
Yali Zhu
ATAL
2005
Springer
16 years 21 days ago
Using the UML 2.0 activity diagram to model agent plans and actions
The behavior of an agent is defined through the specification of plans and actions. Agents have a set of plans that are selected to be executed according to their goals (and other...
Viviane Torres da Silva, Ricardo Choren, Carlos Jo...
CAISE
2005
Springer
16 years 21 days ago
A Method for Ontology Modeling in the Business Domain
Today ontology languages present a syntax which looks not “natural” and are lacking of built-in primitives (i.e., modeling notions) domain experts are familiar with. In this pa...
Michele Missikoff, Federica Schiappelli
UML
2005
Springer
16 years 19 days ago
UML Vs. Classical Vs. Rhapsody Statecharts: Not All Models Are Created Equal
Abstract. State machines, represented by statecharts or statechart diagrams, are an important formalism for behavioural modelling. According to the research literature, the most po...
Michelle L. Crane, Jürgen Dingel