Sciweavers

631 search results - page 60 / 127
» Deriving Specifications from Requirements: An Example
Sort
View
MOBICOM
1997
ACM
15 years 4 months ago
Composable ad-hoc Mobile Services for Universal Interaction
This paperintroduces the notion of “universalinteraction,” allowing a device to adapt its functionality to exploit services it discovers as it moves into a new environment. Us...
Todd D. Hodes, Randy H. Katz, Edouard Servan-Schre...
DAC
1999
ACM
16 years 24 days ago
CAD Directions for High Performance Asynchronous Circuits
This paper describes a novel methodology for high performance asynchronous design based on timed circuits and on CAD support for their synthesis using Relative Timing. This method...
Ken S. Stevens, Shai Rotem, Steven M. Burns, Jordi...
VIS
2006
IEEE
156views Visualization» more  VIS 2006»
16 years 1 months ago
ClearView: An Interactive Context Preserving Hotspot Visualization Technique
Volume rendered imagery often includes a barrage of 3D information like shape, appearance and topology of complex structures, and it thus quickly overwhelms the user. In particular...
Jens Krüger, Jens Schneider, Rüdiger Westerman...
ICPR
2006
IEEE
16 years 28 days ago
A Trainable Similarity Measure for Image Classification
In object recognition problems a two-stage system is usually adopted composed of a fast and simple detector and a more complex classifier. This paper studies a design of the secon...
Jana Novovicová, Pavel Paclík, Rober...
SOSE
2008
IEEE
15 years 6 months ago
Precise Steps for Choreography Modeling for SOA Validation and Verification
Service-oriented architecture (SOA) enables organizations to transform their existing IT infrastructure into a more flexible business process platform.. In this architecture, deco...
Sebastian Wieczorek, Andreas Roth, Alin Stefanescu...