4693 search results - page 815 / 939 » Verifying Hybrid Systems |
110
click to vote
CSMR
1998
IEEE
15 years 5 months ago
1998
IEEE
Secure distributed applications often include code to authenticate users, verify access rights, and establish secure communication channels between software components (e.g., clie...
116
Voted
PKC
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. In a distributed system, dynamically dividing execution between nodes is essential for service robustness. However, when all of the nodes cannot be equally trusted, and w...
102
click to vote
ICCS
1998
Springer
15 years 5 months ago
1998
Springer
Internet-based information technologies have considerable potential for improving collaboration in professional communities. In this paper, we explain the concept of user-driven sp...
120
Voted
TACAS
1998
Springer
15 years 5 months ago
1998
Springer
This paper enables symbolic ternary simulation of systems with large embedded memories. Each memory array is replaced with a behavioral model, where the number of symbolic variable...
124
click to vote
UML
1998
Springer
15 years 5 months ago
1998
Springer
The Uni ed Modeling Language UML is rapidly emerging as a de-facto standard for modelling OO systems. Given this role, it is imperative that the UML needs a well-de ned, fully expl...