1833 search results - page 148 / 367 » Mechanized Verification with Sharing |
137
Voted
ITNG
2007
IEEE
15 years 11 months ago
2007
IEEE
— MPLS security is an evolving issue which has been raised by many researchers and service providers. The basic architecture of MPLS network does not provide security services su...
147
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
This paper proposes the use of reliable group communication as a complement to traditional asynchronous messaging in multi-agent systems. In particular, the mechanism of message p...
127
click to vote
ICLP
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents a reactive programming and triggering framework for the coordination of a large number of distributed agents with shared knowledge. At the heart of this framewo...
140
click to vote
GECCO
2004
Springer
15 years 10 months ago
2004
Springer
Many evolutionary algorithms have been lately developed for solving multiobjective problems, appealing or not to the Pareto optimality concept. Although, the evolutionary technique...
121
click to vote
CAISE
2003
Springer
15 years 10 months ago
2003
Springer
This paper presents a software framework, called Collaborator, to provide a shared work-space supporting the activities of virtual teams. This system exploits seamless integration ...