Sciweavers

2276 search results - page 251 / 456
» Aspect-Oriented Requirements Engineering for Component-Based...
Sort
View
VMCAI
2004
Springer
15 years 10 months ago
Liveness with Invisible Ranking
The method of Invisible Invariants was developed originally in order to verify safety properties of parameterized systems fully automatically. Roughly speaking, the method is based...
Yi Fang, Nir Piterman, Amir Pnueli, Lenore D. Zuck
AC
2003
Springer
15 years 10 months ago
3D Face Recognition Using Stereoscopic Vision
In this paper a new complete system for 3D face recognition is presented. 3D face recognition presents several advantages against 2D face recognition, as, for example, invariance t...
Umberto Castellani, Manuele Bicego, Gianluca Iacon...
AUIC
2001
IEEE
15 years 8 months ago
Adapting the Web Interface: An Adaptive Web Browser
The growing number of mobile computing devices with diverse characteristics creates a requirement for seamless (device independent) access to computing resources of distributed sy...
Karen Henricksen, Jadwiga Indulska
ICSE
2004
IEEE-ACM
16 years 4 months ago
A Hybrid Architectural Style for Distributed Parallel Processing of Generic Data Streams
Immersive, interactive applications grouped under the concept of Immersipresence require on-line processing and mixing of multimedia data streams and structures. One critical issu...
Alexandre R. J. François
EWSPT
1995
Springer
15 years 8 months ago
The Use of Roles and Measurement to Enact Project Plans in MVP-S
Software development organizations are beginning to recognize that measurement is a prerequisite for systematic process improvement, and have started to measure their products and...
Christopher M. Lott, Barbara Hoisl, H. Dieter Romb...