3828 search results - page 72 / 766 » Proof-Based System Engineering Using a Virtual System Model |
137
Voted
IWCMC
2006
ACM
15 years 8 months ago
2006
ACM
In an era of cooperating ad hoc networks and pervasive wireless connectivity, we are becoming more vulnerable to malicious attacks. Many of these attacks are silent in nature and ...
ICISS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Trust can be used to measure our confidence that a secure system behaves as expected. We had previously proposed a vector model of trust [1]. In this work we address the...
129
click to vote
CODES
2003
IEEE
15 years 7 months ago
2003
IEEE
Hardware/Software cosimulation is the key process to shorten the design turn around time. We have proposed a novel technique, called virtual synchronization, for fast and time acc...
106
click to vote
APSEC
2002
IEEE
15 years 7 months ago
2002
IEEE
Continuous action systems (CAS) is a formalism intended for modeling hybrid systems (systems that combine discrete control with continuous behavior), and proving properties about ...
127
Voted
USENIX
2007
15 years 4 months ago
2007
This paper proposes making displays and input devices as first-class citizens in a networked system environment for collaborative applications. The paper describes a virtually sha...