660 search results - page 99 / 132 » Formalizing the Development of Agent-Based Systems Using Gra... |
127
Voted
INFOCOM
2009
IEEE
15 years 9 months ago
2009
IEEE
—In hop-by-hop networks, provision of multipath routes for all nodes can improve fault tolerance and performance. In this paper we study the multipath route calculation by constr...
111
click to vote
DAGSTUHL
2006
15 years 3 months ago
2006
The methodology of aspect-oriented software engineering has been proposed to factor out concerns that are orthogonal to the core functionality of a system. In particular, this is a...
111
click to vote
EWSA
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In this paper we motivate an Architecture Description Language (ADL) for mobile distributed systems based on the π-calculus. Different from other approaches, the non-fu...
141
click to vote
SIGIR
2009
ACM
15 years 9 months ago
2009
ACM
Social network systems, like last.fm, play a significant role in Web 2.0, containing large amounts of multimedia-enriched data that are enhanced both by explicit user-provided an...
197
click to vote
FASE
2011
Springer
14 years 5 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...