1060 search results - page 93 / 212 » Mechanized semantics |
160
Voted
ACOM
2006
Springer
15 years 9 months ago
2006
Springer
Communication is essential in multi-agent systems, since it allows agents to share knowledge and to coordinate. However, in open multi-agent systems, autonomous and heterogeneous a...
114
Voted
RTCSA
2005
IEEE
15 years 9 months ago
2005
IEEE
Large-scale distributed systems, such as ubiquitous computing environments, require a service delivery mechanism in order to keep track of the vast set of services offered and mak...
145
Voted
BERTINORO
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we present and evaluate uncoordinated on-line algorithms for simultaneous storage and replication load-balancing in DHT-based peer-to-peer systems. We compare our ap...
116
Voted
MLMI
2004
Springer
15 years 9 months ago
2004
Springer
As the amount of multimodal meetings data being recorded increases, so does the need for sophisticated mechanisms for accessing this data. This process is complicated by the diffe...
153
click to vote
ECMDAFA
2010
Springer
15 years 8 months ago
2010
Springer
Multi-View Modeling (MVM) is a common modeling practice that advocates the use of multiple, different and yet related models to represent the needs of diverse stakeholders. Of cruc...