Sciweavers

2838 search results - page 369 / 568
» Verifying Controlled Components
Sort
View
104
Voted
CHI
2004
ACM
16 years 1 months ago
Gummi: a bendable computer
Gummi is an interaction technique and device concept based on physical deformation of a handheld device. The device consists of several layers of flexible electronic components, i...
Carsten Schwesig, Ivan Poupyrev, Eijiro Mori
96
Voted
WCRE
2009
IEEE
15 years 7 months ago
NTrace: Function Boundary Tracing for Windows on IA-32
—For a long time, dynamic tracing has been an enabling technique for reverse engineering tools. Tracing can not only be used to record the control flow of a particular component...
Johannes Passing, Alexander Schmidt, Martin von L&...
103
Voted
ISORC
2009
IEEE
15 years 7 months ago
Extended RT-Component Framework for RT-Middleware
Modular component-based robot systems require not only an infrastructure for component management, but also scalability as well as real-time properties. Robot Technology (RT)-Midd...
Hiroyuki Chishiro, Yuji Fujita, Akira Takeda, Yuta...
APN
2009
Springer
15 years 7 months ago
Monotonicity in Service Orchestrations
Web Service orchestrations are compositions of different Web Services to form a new service. The services called during the orchestration guarantee a given Quality of Service (QoS...
Anne Bouillard, Sidney Rosario, Albert Benveniste,...
SEKE
2009
Springer
15 years 7 months ago
An Architecture-based Evolution Management Method for Software Product Line
In software product line (SPL) development, evolutions occur in core assets and application products. How to ensure their alignment in evolution is a big challenge. Products in an...
Xin Peng, Liwei Shen, Wenyun Zhao