Sciweavers

10542 search results - page 1730 / 2109
» A General Notion of Useful Information
Sort
View
SAC
2008
ACM
15 years 6 months ago
Workflow management versus case handling: results from a controlled software experiment
Business Process Management (BPM) technology has become an important instrument for improving process performance. When considering its use, however, enterprises typically have to...
Bela Mutschler, Barbara Weber, Manfred Reichert
ICFEM
2010
Springer
15 years 5 months ago
Making the Right Cut in Model Checking Data-Intensive Timed Systems
Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While d...
Rüdiger Ehlers, Michael Gerke 0002, Hans-J&ou...
IEEEMM
2010
102views more  IEEEMM 2010»
15 years 5 months ago
Printing in a Digital Age
:  Printing in a Digital Age Qian Lin, Jerry Liu, Daniel Tretter HP Laboratories HPL-2010-113 Paper has been used as an information medium for almost two thousand years. But dur...
Qian Lin, Jerry Liu, Daniel Tretter
JOT
2010
144views more  JOT 2010»
15 years 5 months ago
A Tool for Specifying and Validating Agents' Interaction Protocols: From Agent UML to Maude
To achieve the multi-agent systems’ goals, agents interact to exchange information, to cooperate and to coordinate their tasks. Interaction is generally recognized as an importa...
Farid Mokhati, Brahim Sahraoui, Soufiane Bouzaher,...
JOTA
2010
117views more  JOTA 2010»
15 years 5 months ago
Distributed Stochastic Subgradient Projection Algorithms for Convex Optimization
We consider a distributed multi-agent network system where the goal is to minimize a sum of agent objective functions subject to a common set of constraints. For this problem, we p...
S. Sundhar Ram, Angelia Nedic, Venugopal V. Veerav...
« Prev « First page 1730 / 2109 Last » Next »