Sciweavers

1164 search results - page 39 / 233
» Constructive nonlinear dynamics in process systems engineeri...
Sort
View
ICCV
2007
IEEE
16 years 8 months ago
Real-time Body Tracking Using a Gaussian Process Latent Variable Model
In this paper, we present a tracking framework for capturing articulated human motions in real-time, without the need for attaching markers onto the subject's body. This is a...
Shaobo Hou, Aphrodite Galata, Fabrice Caillette, N...
SAC
2009
ACM
16 years 24 days ago
A collaborative tool for designing and enacting design processes
Today several approaches using Situational Method Engineering paradigm exist, each of them proposes methods and techniques for developing ad-hoc design processes. In this context ...
Massimo Cossentino, Luca Sabatucci, Valeria Seidit...
MODELS
2009
Springer
16 years 16 days ago
A Modeling Language for Activity-Oriented Composition of Service-Oriented Software Systems
The proliferation of smart spaces and emergence of new standards, such as Web Services, have paved the way for a new breed of software systems. Often the complete functional and Qo...
Naeem Esfahani, Sam Malek, João Pedro Sousa...
COMPSAC
2006
IEEE
15 years 9 months ago
Engineering Reconfigurable Product Families - Architecting the Variability Infrastructure of a Product Family On-Chip
The software product family paradigm is becoming increasingly relevant in embedded system development. Embedded system development with a software-intensive character is typically...
Michel Jaring
SIGADA
2005
Springer
15 years 11 months ago
The affordable application of formal methods to software engineering
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
James F. Davis