Sciweavers

2632 search results - page 440 / 527
» Predictive Representations of State
Sort
View
ISVC
2007
Springer
16 years 8 days ago
Visualization of Resource Allocation in Large-Scale Mobile Ad Hoc Networks
Resource allocation in ad hoc communication networks is a field of high complexity because of both i) the distributed nature of the interactions between the nodes, and ii) the lar...
Alex Fridman, Daniel Hennessey, David Breen, Steve...
TACAS
2007
Springer
92views Algorithms» more  TACAS 2007»
16 years 7 days ago
Model Checking Liveness Properties of Genetic Regulatory Networks
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...
Grégory Batt, Calin Belta, Ron Weiss
AICT
2006
IEEE
210views Communications» more  AICT 2006»
16 years 6 days ago
Model-Based Analysis of Obligations in Web Service Choreography
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...
Howard Foster, Sebastián Uchitel, Jeff Mage...
ASWEC
2006
IEEE
16 years 6 days ago
A Runtime Monitoring and Validation Framework for Web Service Interactions
Web services are designed for composition and use by third parties through dynamic discovery. As such, the issue of interoperability between services is of great importance to ens...
Zheng Li, Yan Jin, Jun Han
ICARCV
2006
IEEE
420views Robotics» more  ICARCV 2006»
16 years 5 days ago
Recognizing People's Faces: from Human to Machine Vision
— As confirmed by recent neurophysiological studies, the use of dynamic information is extremely important for humans in visual perception of biological forms and motion. Apart ...
Massimo Tistarelli, Manuele Bicego, Enrico Grosso