Sciweavers

4714 search results - page 584 / 943
» The Complexity of Iterated Multiplication
Sort
View
SAS
2005
Springer
16 years 9 days ago
A Generic Framework for Interprocedural Analysis of Numerical Properties
Abstract. In his seminal paper [5], Granger presents an analysis which infers linear congruence relations between integer variables. For affine programs without guards, his analys...
Markus Müller-Olm, Helmut Seidl
UML
2005
Springer
16 years 9 days ago
Use Cases, Actions, and Roles
Abstract. Use Cases are widely used for specifying systems, but their semantics are unclear in ways that make it difficult to apply use cases to complex problems. In this paper, we...
Guy Genilloud, William F. Frank, Gonzalo Gé...
COORDINATION
2004
Springer
16 years 6 days ago
CoorSet: A Development Environment for Associatively Coordinated Components
A development environment for applications specified in an extended version of a previously developed coordination model based on associatively broadcast interactions is presented....
Kevin Kane, James C. Browne
GG
2004
Springer
16 years 6 days ago
Rule Execution in Graph-Based Incremental Interactive Integration Tools
Abstract. Development processes in engineering disciplines are inherently complex. Throughout the development process, different kinds of inter-dependent design documents are creat...
Simon M. Becker, Sebastian Lohmann, Bernhard Westf...
HUC
2004
Springer
16 years 6 days ago
ActiveBelt: Belt-Type Wearable Tactile Display for Directional Navigation
In this paper we propose a novel wearable interface called “ActiveBelt” that enables users to obtain multiple directional information with the tactile sense. Since the informat...
Koji Tsukada, Michiaki Yasumura