Sciweavers

5904 search results - page 982 / 1181
» Requirements for a Composition Language
Sort
View
SCESM
2006
ACM
266views Algorithms» more  SCESM 2006»
14 years 3 months ago
A comparative survey of scenario-based to state-based model synthesis approaches
Model Driven Development and Use Case Driven Development methodologies have inspired the proposal of a variety of software engineering approaches that synthesize statebased models...
Hongzhi Liang, Jürgen Dingel, Zinovy Diskin
UIST
2006
ACM
14 years 3 months ago
CINCH: a cooperatively designed marking interface for 3D pathway selection
To disentangle and analyze neural pathways estimated from magnetic resonance imaging data, scientists need an interface to select 3D pathways. Broad adoption of such an interface ...
David Akers
ACSD
2005
IEEE
71views Hardware» more  ACSD 2005»
14 years 3 months ago
Two-Phase Distributed Observation Problems
We introduce and study problems of distributed observation with bounded or unbounded memory. We are given a system modeled as a finite-word language L over some finite alphabet ...
Stavros Tripakis
APSEC
2005
IEEE
14 years 3 months ago
Consistency and Interoperability Checking for Component Interaction Rules
In component-based software development, it is important to ensure interoperability between components based on their unambiguous semantic descriptions, in order to obtain a viabl...
Yan Jin, Jun Han
C5
2005
IEEE
14 years 3 months ago
Suggestions for New Features to Support Collaborative Learning in Virtual Worlds
The authors have some experience in building virtual worlds for education purposes, in archaeology and for language learning. However, many mainstream world-building applications ...
Erik Champion, Sachiyo Sekiguchi