Sciweavers

2373 search results - page 307 / 475
» Modelling Facial Behaviours
Sort
View
CALCO
2009
Springer
158views Mathematics» more  CALCO 2009»
15 years 11 months ago
Coalgebraic Symbolic Semantics
The operational semantics of interactive systems is usually described by labeled transition systems. Abstract semantics (that is defined in terms of bisimilarity) is characterized...
Filippo Bonchi, Ugo Montanari
IFIP
2009
Springer
15 years 11 months ago
Static Detection of Logic Flaws in Service-Oriented Applications
Application or business logic, used in the development of services, has to do with the operations that define the application functionalities and not with the platform ones. Often...
Chiara Bodei, Linda Brodo, Roberto Bruni
IWCMC
2009
ACM
15 years 11 months ago
Carrier sense multiple access with enhanced collision avoidance: a performance analysis
Abstract—Carrier Sense Multiple Access with Enhanced Collision Avoidance (CSMA/ECA) is a recently proposed modification to the well-known CSMA/CA protocol. By using a determinis...
Jaume Barceló, Boris Bellalta, Cristina Can...
ICPR
2008
IEEE
15 years 11 months ago
On-line novelty detection using the Kalman filter and extreme value theory
Novelty detection is concerned with identifying abnormal system behaviours and abrupt changes from one regime to another. This paper proposes an on-line (causal) novelty detection...
Hyoungjoo Lee, Stephen J. Roberts
IEEESCC
2008
IEEE
15 years 11 months ago
Proactive Runtime Service Discovery
In this paper we describe a framework that supports runtime service discovery in both pull and push modes. Our framework supports service discovery based on structural and behavio...
Andrea Zisman, James Dooley, George Spanoudakis