985 search results - page 104 / 197 » Abstract Interactions and Interaction Refinement in Model-Dr... |
142
Voted
JUCS
2008
15 years 3 months ago
2008
: This paper presents a proposal to tackle the design and development of user interfaces for groupware applications. This proposal includes important design and implementation issu...
121
Voted
CAV
2009
Springer
16 years 4 months ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
144
click to vote
BILDMED
2007
15 years 5 months ago
2007
Abstract. In this paper we propose a structured approach for the simulation of the human body which is comprehensive and extendable. Our architecture resembles the human organism a...
134
click to vote
SFP
2001
15 years 5 months ago
2001
We describe the design and implementation of a Standard ML of New Jersey library for the interactive pretty-printing of possibly infinite syntax trees. The library handles elision ...
136
Voted
ACL
2009
15 years 1 months ago
2009
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...