Sciweavers

15779 search results - page 2505 / 3156
» Change-oriented software engineering
Sort
View
192
Voted
UIST
2003
ACM
15 years 10 months ago
Tactile interfaces for small touch screens
We present the design, implementation, and informal evaluation of tactile interfaces for small touch screens used in mobile devices. We embedded a tactile apparatus in a Sony PDA ...
Ivan Poupyrev, Shigeaki Maruyama
152
Voted
BPM
2003
Springer
121views Business» more  BPM 2003»
15 years 10 months ago
Towards a Library for Process Programming
Process programming is regarded as a critical approach in many cooperative process related areas including software engineering, workflow management, business process management, e...
Guangxin Yang
138
Voted
EMSOFT
2003
Springer
15 years 10 months ago
Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment
Abstract. We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques ...
Albert Benveniste, Luca P. Carloni, Paul Caspi, Al...
134
Voted
EMSOFT
2003
Springer
15 years 10 months ago
HOKES/POKES: Light-Weight Resource Sharing
Abstract. In this paper, we explain mechanisms for providing embedded network processors and other low-level programming environments with light-weight support for safe resource sh...
Herbert Bos, Bart Samwel
FATES
2003
Springer
15 years 10 months ago
Towards a Tool Environment for Model-Based Testing with AsmL
We present work on a tool environment for model-based testing with the Abstract State Machine Language (AsmL). Our environment supports semiautomatic parameter generation, call seq...
Michael Barnett, Wolfgang Grieskamp, Lev Nachmanso...
« Prev « First page 2505 / 3156 Last » Next »