2935 search results - page 61 / 587 » An Integrated Approach to High Integrity Software Verificati... |
146
click to vote
MKWI
2008
15 years 5 months ago
2008
: Within an enterprise various information systems have to be run. Enterprise Application Integration (EAI) has become a well-established way to integrate such heterogeneous busine...
137
click to vote
CVPR
2009
IEEE
16 years 11 months ago
2009
IEEE
We present a system for the estimation of unconstrained
3D human upper body movement from multiple cameras.
Its main novelty lies in the integration of three components:
single-...
128
click to vote
CODES
2008
IEEE
15 years 10 months ago
2008
IEEE
In this special session we explore holistic approaches to hardware/software debug that use or integrate transaction level models (TLMs). We present several TLM-based approaches to...
136
click to vote
APSEC
2004
IEEE
15 years 8 months ago
2004
IEEE
Service-based systems engineering is a recent paradigm that has proven useful for the development of multifunctional systems, whose functions may be used in different contexts and...
125
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
This paper investigates software agents testing, and in particular how to automate test generation. We propose a novel approach, which takes advantage of agent interaction ontolog...