Sciweavers

11324 search results - page 63 / 2265
» Coordination Models and Languages
Sort
View
DEBS
2011
ACM
14 years 9 months ago
Declarative data-driven coordination
Many data-driven social and Web applications involve collaboration and coordination. The vision of declarative data-driven coordination (D3C), proposed in [9], is to support coord...
Johannes Gehrke
ATAL
2006
Springer
15 years 8 months ago
Logics of propositional control
The `Cooperation Logic of Propositional Control', cl-pc, of van der Hoek and Wooldridge is a logic for reasoning about the ability of agents and groups of agents to obtain a ...
Jelle Gerbrandy
JMLR
2008
114views more  JMLR 2008»
15 years 6 months ago
Coordinate Descent Method for Large-scale L2-loss Linear Support Vector Machines
Linear support vector machines (SVM) are useful for classifying large-scale sparse data. Problems with sparse features are common in applications such as document classification a...
Kai-Wei Chang, Cho-Jui Hsieh, Chih-Jen Lin
ENTCS
2010
104views more  ENTCS 2010»
15 years 3 months ago
Relating PDEs in Cylindrical Coordinates and CTMCs with Levels of Concentration
We present the derivation of a CTMC with levels model of diffusion in cylindrical coordinates partial differential equation for Fick's law. The resulting model abstracts both...
Andrea Degasperi, Muffy Calder
COORDINATION
2004
Springer
15 years 11 months ago
A Lightweight Coordination Middleware for Mobile Computing
This paper presents Limone, a new coordination model that facilitates rapid application development over ad hoc networks consisting of logically mobile agents and physically mobile...
Chien-Liang Fok, Gruia-Catalin Roman, Gregory Hack...