1743 search results - page 162 / 349 » Generalized Modal Satisfiability |
116
Voted
IPPS
1993
IEEE
15 years 7 months ago
1993
IEEE
Abstract. Development of wormhole routing techniques so far has been largely independent of the results available for store-and-forward routing in literature. In this paper, we pro...
123
Voted
CGI
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper presents animated sweepers, a method for animating the space deformations called sweepers. This technique allows a user to animate the modeling of a shape, and to edit ...
140
click to vote
COORDINATION
2006
Springer
15 years 7 months ago
2006
Springer
Process algebraic specifications can provide useful support for the architectural design of software systems due to the possibility of analyzing their properties. In addition to th...
129
Voted
FSTTCS
2006
Springer
15 years 7 months ago
2006
Springer
The standard symbolic, deducibility-based notions of secrecy are in general insufficient from a cryptographic point of view, especially in presence of hash functions. In this paper...
117
click to vote
HPCN
2000
Springer
15 years 7 months ago
2000
Springer
We present OKEANOS, a distributed service-based agent framework implemented in Java, in which agents can act autonomously and make use of stationary services. Each agent's beh...