Sciweavers

2276 search results - page 318 / 456
» Aspect-Oriented Requirements Engineering for Component-Based...
Sort
View
KBSE
2009
IEEE
15 years 10 months ago
Inferring Method Effect Summaries for Nested Heap Regions
Effect systems are important for reasoning about the side effects of a program. Although effect systems have been around for decades, they have not been widely adopted in practice...
Mohsen Vakilian, Danny Dig, Robert L. Bocchino Jr....
UIST
2009
ACM
15 years 10 months ago
PhotoelasticTouch: transparent rubbery tangible interface using an LCD and photoelasticity
PhotoelasticTouch is a novel tabletop system designed to intuitively facilitate touch-based interaction via real objects made from transparent elastic material. The system utilize...
Toshiki Sato, Haruko Mamiya, Hideki Koike, Kentaro...
138
Voted
ICST
2008
IEEE
15 years 10 months ago
Verifying and Analyzing Adaptive Logic through UML State Models
It is becoming increasingly important to be able to adapt an application’s behavior at run time in response to changing requirements and environmental conditions. Adaptive progr...
Andres J. Ramirez, Betty H. C. Cheng
VLSI
2007
Springer
15 years 10 months ago
Parametric structure-preserving model order reduction
Abstract—Analysis and verification environments for nextgeneration nano-scale RFIC designs must be able to cope with increasing design complexity and to account for new effects,...
Jorge Fernandez Villena, Wil H. A. Schilders, L. M...
IUI
2003
ACM
15 years 9 months ago
A zero-input interface for leveraging group experience in web browsing
The experience of a trusted group of colleagues can help users improve the quality and focus of their browsing and searching activities. How could a system provide such help, when...
Taly Sharon, Henry Lieberman, Ted Selker