Sciweavers

1986 search results - page 127 / 398
» An activity based costing approach to systems development an...
Sort
View
ICMI
2000
Springer
190views Biometrics» more  ICMI 2000»
15 years 10 months ago
Virtual Mouse - Inputting Device by Hand Gesture Tracking and Recognition
In this paper, we develop a system to track and recognize hand motion in nearly real time. An important application of this system is to simulate mouse as a visual inputting device...
Changbo Hu, Lichen Liang, Songde Ma, Hanqing Lu
JIT
2004
Springer
131views Database» more  JIT 2004»
16 years 4 days ago
Testing of Service-Oriented Architectures - A Practical Approach
Service Oriented Architectures (SOAs) have recently emerged as a new promising paradigm for supporting distributed computing. Web services, as well as integration-packages relying ...
Schahram Dustdar, Stephan Haslinger
EUROMICRO
1996
IEEE
15 years 11 months ago
Behaviour-Preserving Transformations in SHE: A Formal Approach to Architecture Design
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...
Jeroen Voeten, P. H. A. van der Putten, M. P. J. S...
KBSE
1994
IEEE
15 years 11 months ago
A Formal Approach to Domain-Oriented Software Design Environments
This paper describes a formal approach to domain-oriented software design environments, based on declarative domain theories, formal specifications, and deductive program synthesi...
Michael R. Lowry, Andrew Philpot, Thomas Pressburg...
WDAG
2001
Springer
131views Algorithms» more  WDAG 2001»
15 years 11 months ago
The Complexity of Synchronous Iterative Do-All with Crashes
Abstract. The ability to cooperate on common tasks in a distributed setting is key to solving a broad range of computation problems ranging from distributed search such as SETI to ...
Chryssis Georgiou, Alexander Russell, Alexander A....