1168 search results - page 86 / 234 » cases 2000 |
CAV
2000
Springer
14 years 1 months ago
2000
Springer
Hierarchical state machines is a popular visual formalism for software specifications. To apply automated analysis to such specifications, the traditional approach is to compile th...
IPPS
2000
IEEE
14 years 2 months ago
2000
IEEE
In this paper, we propose a method which enables us to construct almost optimal broadcast schemes on an n-dimensional hypercube in the circuit switched, -port model. In this mode...
INFOCOM
2000
IEEE
14 years 1 months ago
2000
IEEE
Abstract--The advent of electronic commerce and personal communications on the Internet heightens concerns over the lack of privacy and security. Network services providing a wide ...
CP
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. This paper evaluates the power of a new scheme that generates search heuristics mechanically. This approach was presented and evaluated rst in the context of optimization...
EDO
2000
Springer
14 years 1 months ago
2000
Springer
Abstract Designing and maintaining a distributed system requires consideration of dependencies and invariants in the system's model. This paper suggests expressing distributio...