Sciweavers

204 search results - page 29 / 41
» Integrated Modeling and Analysis Generator Environment (IMAG...
Sort
View
FMICS
2009
Springer
14 years 1 months ago
A Rigorous Methodology for Composing Services
on Abstraction: a Lightweight Approach to Modelling Concurrency. Javier de Dios and Ricardo Peña Certified Implementation on top of the Java Virtual Machine 19:00 Social dinner + ...
Kenneth J. Turner, Koon Leai Larry Tan
ETRA
2006
ACM
143views Biometrics» more  ETRA 2006»
14 years 1 months ago
openEyes: a low-cost head-mounted eye-tracking solution
Eye tracking has long held the promise of being a useful methodology for human computer interaction. However, a number of barriers have stood in the way of the integration of eye ...
Dongheng Li, Jason S. Babcock, Derrick Parkhurst
UML
1999
Springer
13 years 11 months ago
Enabling the Refinement of a Software Architecture into a Design
Software architecture research has thus far mainly addressed formal specification and analysis of coarse-grained software models. The formality of architectural descriptions, their...
Marwan Abi-Antoun, Nenad Medvidovic
ASE
1999
126views more  ASE 1999»
13 years 7 months ago
Behaviour Analysis of Distributed Systems Using the Tracta Approach
Behaviour analysis should form an integral part of the software development process. This is particularly important in the design of concurrent and distributed systems, where comp...
Dimitra Giannakopoulou, Jeff Kramer, Shing-Chi Che...
TCSV
2010
13 years 2 months ago
Efficient Bit Allocation and Rate Control Algorithms for Hierarchical Video Coding
Hierarchical structure is a useful tool for providing the necessary scalability in adapting to the variety of channel environments. For schemes involving hierarchical picture struc...
Chan-Won Seo, Jung Won Kang, Jong-Ki Han, Truong Q...