1454 search results - page 159 / 291 » Stateful traits and their formalization |
180
click to vote
BIOCOMP
2007
15 years 7 months ago
2007
Abstract—This paper presents a stochastic modelling framework for complex biochemical reaction networks from a component-based perspective. Our approach takes into account the di...
183
click to vote
ICWS
2010
IEEE
15 years 7 months ago
2010
IEEE
This paper presents a methodology and a set of tools for the modelling, validation and testing of Web service composition, conceived and developed within the French national projec...
159
click to vote
DBSEC
2007
15 years 7 months ago
2007
Abstract. The database server is a crucial bottleneck in traditional inference control architecture, as it enforces highly computation-intensive auditing for all users who query th...
162
click to vote
EJC
2008
15 years 7 months ago
2008
This paper presents a novel model of co-reference knowledge, which is based on the distinction of (i) a model of a common reality, (ii) a model of an agent's opinion about rea...
195
click to vote
FOIS
2008
15 years 7 months ago
2008
The deployment of learning resources on the web by different experts has resulted in the accessibility of multiple viewpoints about the same topics. In this work we assume that lea...