Sciweavers

2025 search results - page 291 / 405
» Minimal-Cut Model Composition
Sort
View
DEBS
2010
ACM
14 years 28 days ago
Predictive publish/subscribe matching
A new publish/subscribe capability is presented: the ability to predict the likelihood that a subscription will be matched at some point in the future. Composite subscriptions con...
Vinod Muthusamy, Haifeng Liu, Hans-Arno Jacobsen
REST
2010
ACM
13 years 10 months ago
A formal definition of RESTful semantic web services
In this article a formal model applying REST architectural principles to the description of semantic web services is introduced, including the discussion of its syntax and operati...
Antonio Garrote Hernández, María N. ...
CGF
2008
103views more  CGF 2008»
13 years 9 months ago
Image-based Shaving
Many categories of objects, such as human faces, can be naturally viewed as a composition of several different layers. For example, a bearded face with glasses can be decomposed i...
Minh Hoai Nguyen, Jean-François Lalonde, Al...
EAAI
2007
135views more  EAAI 2007»
13 years 9 months ago
Automatic generation of explanations: AGE
Explaining how engineering devices work is important to students, engineers, and operators. In general, machine generated explanations have been produced from a particular perspec...
Silvia B. González-Brambila, Eduardo F. Mor...
ENTCS
2007
101views more  ENTCS 2007»
13 years 9 months ago
Model-checking Distributed Components: The Vercors Platform
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...
Tomás Barros, Antonio Cansado, Eric Madelai...