8555 search results - page 342 / 1711 » Property Based Coordination |
217
click to vote
NIPS
2008
15 years 9 months ago
2008
We develop new techniques for time series classification based on hierarchical Bayesian generative models (called mixed-effect models) and the Fisher kernel derived from them. A k...
210
click to vote
CORR
2004
Springer
15 years 7 months ago
2004
Springer
We describe a scheme for moving living code between a set of distributed processes coordinated with unification based Linda operations, and its application to building a comprehen...
226
click to vote
WETICE
2005
IEEE
16 years 1 months ago
2005
IEEE
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...
232
click to vote
DAGSTUHL
2006
15 years 9 months ago
2006
In order to tackle the entire web service life cycle, it is necessary to face how to model systems based on service functionality and also how to add extra-functional properties to...
221
click to vote
TABLEAUX
2009
Springer
16 years 2 months ago
2009
Springer
base types and disallows lambda abstractions and quantifiers. We show that this fragment has the finite model property and that satisfiability can be decided with a terminating ...