405 search results - page 9 / 81 » Open Systems Formal Evaluation Process |
131
click to vote
POPL
2012
ACM
13 years 11 months ago
2012
ACM
Software-defined networks (SDNs) are a new implementation architecture in which a controller machine manages a distributed collection of switches, by instructing them to install ...
146
Voted
ECTEL
2010
Springer
15 years 1 months ago
2010
Springer
In this article we present an infrastructure for creating mash up and visual representations of the user profile that combine data from different sources. We explored this approach...
119
Voted
TCS
2002
15 years 3 months ago
2002
This paper surveys the theoretical developments in the field of stochastic process algebras, process algebras where action occurrences may be subject to a delay that is determined...
131
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
Multiparty agreements often arise in a multiagent system where autonomous agents interact with each other to achieve a global goal. Multiparty agreements are traditionally represe...
137
Voted
JSW
2007
15 years 3 months ago
2007
— The usual scenario of service oriented systems is characterized by several services offering the same functionalities, by new services that are continuosly deployed and by othe...