Sciweavers

1395 search results - page 208 / 279
» Incremental Construction Approach for Distributed System Spe...
Sort
View
CCGRID
2009
IEEE
15 years 4 months ago
Natively Supporting True One-Sided Communication in
As high-end computing systems continue to grow in scale, the performance that applications can achieve on such large scale systems depends heavily on their ability to avoid explic...
Gopalakrishnan Santhanaraman, Pavan Balaji, K. Gop...
ICDE
2005
IEEE
95views Database» more  ICDE 2005»
15 years 11 months ago
SemCast: Semantic Multicast for Content-based Data Dissemination
We address the problem of content-based dissemination of highly-distributed, high-volume data streams for stream-based monitoring applications and large-scale data delivery. Exist...
Olga Papaemmanouil, Ugur Çetintemel
ISSTA
2004
ACM
15 years 3 months ago
Verifying process models built using parameterized state machines
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...
Barbara Staudt Lerner
ATAL
2007
Springer
15 years 1 months ago
A unified framework for multi-agent agreement
Multi-Agent Agreement problems (MAP) - the ability of a population of agents to search out and converge on a common state - are central issues in many multi-agent settings, from d...
Kiran Lakkaraju, Les Gasser
CORR
2004
Springer
180views Education» more  CORR 2004»
14 years 9 months ago
Self-Organized Stigmergic Document Maps: Environment as a Mechanism for Context Learning
Social insect societies and more specifically ant colonies, are distributed systems that, in spite of the simplicity of their individuals, present a highly structured social organi...
Vitorino Ramos, Juan J. Merelo Guervós