Sciweavers

1728 search results - page 54 / 346
» An approach to integration testing based on architectural de...
Sort
View
EUROSSC
2006
Springer
15 years 1 months ago
A Simulation Study of Integrated Service Discovery
The research in the field of service discovery in mobile ad-hoc networks is characterised by a lack of quantitative research. Many ideas have been put forward but few have been tes...
Gertjan P. Halkes, Aline Baggio, Koen Langendoen
ICTAC
2004
Springer
15 years 3 months ago
Combining Algebraic and Model-Based Test Case Generation
Abstract. The classical work on test case generation and formal methods focuses either on algebraic or model-based specifications. In this paper we propose an approach to derive t...
Li Dan, Bernhard K. Aichernig
ICIW
2008
IEEE
15 years 4 months ago
Leveraging Integrated Tools for Model-Based Analysis of Service Compositions
—Developing service compositions, using multiple standards and implementation techniques, typically involves specifying service characteristics in different languages and tools. ...
Howard Foster, Philip Mayer
ICCD
2007
IEEE
152views Hardware» more  ICCD 2007»
15 years 1 months ago
Compiler-assisted architectural support for program code integrity monitoring in application-specific instruction set processors
As application-specific instruction set processors (ASIPs) are being increasingly used in mobile embedded systems, the ubiquitous networking connections have exposed these systems...
Hai Lin, Xuan Guan, Yunsi Fei, Zhijie Jerry Shi
MMM
2007
Springer
110views Multimedia» more  MMM 2007»
15 years 4 months ago
A Matching-Based Approach for Human Motion Analysis
Abstract. This paper presents a novel approach to implement estimation and recognition of human motion from uncalibrated monocular video sequences. As it is difficult to find a go...
Weilun Lao, Jungong Han, Peter H. N. de With