10159 search results - page 1681 / 2032 » System Design Validation Using Formal Models |
178
click to vote
SP
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper presents results from analyzing the vulnerability of security-critical software applications to malicious threats and anomalous events using an automated fault injectio...
196
click to vote
PE
2008
Springer
15 years 6 months ago
2008
Springer
Ratings (also known as recommendations) provide an efficient and effective way to build trust relationship in the human society, by making use of the information from others rathe...
218
click to vote
MOBIHOC
2002
ACM
16 years 6 months ago
2002
ACM
This paper presents a new carrier sensing mechanism called DVCS (Directional Virtual Carrier Sensing) for wireless communication using directional antennas. DVCS does not require ...
172
click to vote
COMPSAC
1999
IEEE
15 years 11 months ago
1999
IEEE
As the complexity of software systems increases, so need for a good mechanism of abstraction. architecture design is an abstraction, hiding an immense amount of details about the ...
183
click to vote
CIA
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents the design of an open architecture for heterogeneous negotiating agents. Both the system level architecture as well as the architecture for negotiating agents a...