245 search results - page 35 / 49 » Interaction Modeling as a Binding Thread in the Software Dev... |
EMSOFT
2005
Springer
14 years 27 days ago
2005
Springer
The correct interplay among components in a distributed, reactive system is a crucial development task, particularly for embedded systems such as those in the automotive domain. M...
AVI
2008
13 years 9 months ago
2008
MedioVis is a visual information seeking system that aims to support users' natural seeking behavior, particularly in complex information spaces. To achieve this goal we intr...
IUI
2009
ACM
14 years 4 months ago
2009
ACM
The specification of model adaptation and generation rules is a topic of great interest for the user interface development community, since there are more and more approaches supp...
BMCBI
2008
13 years 7 months ago
2008
Background: Translation initiation site (TIS) identification is an important aspect of the gene annotation process, requisite for the accurate delineation of protein sequences fro...
KBSE
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract—We describe BPELCheck, a tool for statically analyzing interactions of composite web services implemented in BPEL. Our algorithm is compositional, and checks each proces...