Sciweavers

3814 search results - page 262 / 763
» YAPI: application modeling for signal processing systems
Sort
View
TII
2008
98views more  TII 2008»
15 years 5 months ago
Formal Methods for Systems Engineering Behavior Models
Abstract--Safety analysis in Systems Engineering (SE) processes, as usually implemented, rarely relies on formal methods such as model checking since such techniques, however power...
Charlotte Seidner, Olivier H. Roux
PRL
2006
87views more  PRL 2006»
15 years 5 months ago
Applying 3D human model in a posture recognition system
This paper proposes an approach to recognise human postures in video sequences, which combines a 2D approach with a 3D human model. The 3D model is a realistic articulated human m...
Bernard Boulay, François Brémond, Mo...
HICSS
2006
IEEE
132views Biometrics» more  HICSS 2006»
16 years 11 hour ago
Supporting the Module Sequencing Decision in the ERP Implementation Process
An important part of the Enterprise Resource Planning (ERP) system implementation process is the decision, which modules are implemented and in which order. We posit that the deci...
Petri Hallikainen, Harri Kimpimäki, Hannu Kiv...
TON
2008
144views more  TON 2008»
15 years 5 months ago
A comprehensive analysis of mobility management in MPLS-based wireless access networks
Efficient mobility management is one of the major challenges for next-generation mobile systems. Indeed, a mobile node (MN) within an access network may cause excessive signaling t...
Rami Langar, Nizar Bouabdallah, Raouf Boutaba
FDL
2006
IEEE
16 years 14 hour ago
Layered UML Workload and SystemC Platform Models
Future mobile devices will be based on heterogeneous multiprocessing platforms accommodating several currently stand-alone applications. Increasing complexity of both application ...
Jari Kreku, Yang Qu, Juha-Pekka Soininen, Kari Tie...