837 search results - page 96 / 168 » A Compositional Approach on Modal Specifications for Timed S... |
INFOCOM
2006
IEEE
14 years 3 months ago
2006
IEEE
—Many applications require fast data transfer over high speed and long distance networks. However, standard TCP fails to fully utilize the network capacity due to the limitation ...
ICPR
2006
IEEE
14 years 10 months ago
2006
IEEE
In this work we propose a model (in)validation approach to gait recognition, using a system that tries to discriminate specific activities of people. The recognition process depar...
WWW
2005
ACM
14 years 9 months ago
2005
ACM
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...
AOSD
2011
ACM
13 years 4 months ago
2011
ACM
Software systems are increasingly being built as compositions of reusable artifacts (components, frameworks, toolkits, plug-ins, APIs, etc) that have non-trivial usage constraints...
ICIP
2008
IEEE
14 years 10 months ago
2008
IEEE
Summarizing the contents of a video containing human activities is an important problem in computer vision and has important applications in automated surveillance systems. Summar...