Sciweavers

7206 search results - page 429 / 1442
» Using a Hypermedia System for Systems Engineering
Sort
View
SAC
2005
ACM
16 years 11 days ago
Formal modeling and quantitative analysis of KLAIM-based mobile systems
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
Rocco De Nicola, Diego Latella, Mieke Massink
JAIR
2008
130views more  JAIR 2008»
15 years 6 months ago
Axiomatic Foundations for Ranking Systems
Reasoning about agent preferences on a set of alternatives, and the aggregation of such preferences into some social ranking is a fundamental issue in reasoning about multi-agent ...
Alon Altman, Moshe Tennenholtz
WWW
2006
ACM
16 years 7 months ago
Capturing the essentials of federated systems
Today, the Web is increasingly used as a platform for distributed services, which transcend organizational boundaries to form federated applications. Consequently, there is a grow...
Alexander Brändle, Frederic Majer, Johannes M...
MM
2003
ACM
161views Multimedia» more  MM 2003»
16 years 1 days ago
An affinity-based image retrieval system for multimedia authoring and presentation
In this demonstration, we present an image retrieval system to support multimedia authoring and presentation. An affinity-based mechanism, Markov Model Mediator (MMM), is used as ...
Shu-Ching Chen, Mei-Ling Shyu, Na Zhao, Chengcui Z...
RTCSA
1998
IEEE
15 years 11 months ago
Wait-Free Snapshots in Real-Time Systems: Algorithms and Performance
Snap-shot mechanisms are used to read a globally consistent set of variable values. Such a mechanism can be used to solve a variety of communication and synchronization problems, ...
Andreas Ermedahl, Hans Hansson, Marina Papatrianta...