3828 search results - page 65 / 766 » Proof-Based System Engineering Using a Virtual System Model |
137
Voted
HOTI
2005
IEEE
15 years 8 months ago
2005
IEEE
A partitioned TCAM-based search engine is presented that increases packet forwarding rate multiple times over traditional TCAMs. The model works for IPv4 and IPv6 packet forwardin...
113
click to vote
COMPSAC
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper describes a pattern-based technique for systematic development of UML models of secure systems using access control. Access control is viewed and specified as a design...
ESWS
2009
Springer
15 years 9 months ago
2009
Springer
With the increasing storage capacity of personal computing devices, the problems of information overload and information fragmentation become apparent on users’ desktops. For the...
153
click to vote
APN
2006
Springer
15 years 6 months ago
2006
Springer
Stochastic Petri nets (SPNs) have been proved useful for the quantitative analysis of systems. This paper introduces ArgoSPE, a tool for the performance evaluation of software syst...
122
click to vote
VR
2003
IEEE
15 years 7 months ago
2003
IEEE
An Augmented Virtual Environment (AVE) fuses dynamic imagery with 3D models. The AVE provides a unique approach to visualize and comprehend multiple streams of temporal data or im...