Sciweavers

1009 search results - page 61 / 202
» Patterns, Tools and Models for Interaction Design
Sort
View
SIGMOD
2005
ACM
156views Database» more  SIGMOD 2005»
14 years 9 months ago
Model-driven design of service-enabled web applications
Significant efforts are currently invested in application integration to enable the interaction and composition of business processes of different companies, yielding complex, mul...
Marco Brambilla, Stefano Ceri, Piero Fraternali, R...
RIAO
2000
13 years 10 months ago
Utilizing Multimedia Technologies for Interactive Telesonography
This article deals with telemedicine and in particular with telesonography. Telesonography is real-time video collaboration for remote ultrasound examinations. We present here an ...
Taly Sharon, Ariel J. Frank
SEFM
2005
IEEE
14 years 2 months ago
From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
Tarek Sadani, Pierre de Saqui-Sannes, Jean-Pierre ...
UIST
1995
ACM
14 years 11 days ago
Visual Interfaces for Solids Modeling
This paper exploresthe useof visualoperatorsfor solidsmodeling. We focus on designing interfaces for free-form operators such as blends, sweeps, and deformations, because these op...
Cindy Grimm, David Pugmire
ISCAS
1999
IEEE
106views Hardware» more  ISCAS 1999»
14 years 1 months ago
Test pattern generation for width compression in BIST
The main objectives of Built-In Self Test (BIST) are the design of test pattern generator circuits which achieve the highest fault coverage, require the shortest sequence of test ...
Paulo F. Flores, Horácio C. Neto, K. Chakra...