Sciweavers

11324 search results - page 63 / 2265
» Coordination Models and Languages
Sort
View
DEBS
2011
ACM
12 years 11 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
13 years 9 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»
13 years 7 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»
13 years 5 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
14 years 1 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...