3516 search results - page 490 / 704 » Integrating Security Modeling into Embedded System Design |
144
click to vote
WOA
2000
15 years 5 months ago
2000
There is a growing interest in the integration of mechanized reasoning systems such as automated theorem provers, computer algebra systems, and model checkers. State-of-the-art re...
123
click to vote
SIGCSE
2004
ACM
15 years 10 months ago
2004
ACM
The nearly three dozen core technologies of computing sit in a simple framework defined by great principles and by computing practices. The great principles are of two kinds, mech...
147
click to vote
LCN
2000
IEEE
15 years 8 months ago
2000
IEEE
Virtual private networks (VPNs) allow two or more parties to communicate securely over a public network. Using cryptographic algorithms and protocols, VPNs provide security servic...
124
click to vote
IPTPS
2005
Springer
15 years 10 months ago
2005
Springer
Of the many P2P file-sharing prototypes in existence, BitTorrent is one of the few that has managed to attract millions of users. BitTorrent relies on other (global) components f...
233
click to vote
WETICE
1997
IEEE
15 years 8 months ago
1997
IEEE
Contemporary product design and process development is based on an iterative specify-evaluate-revise approach which is often time intensive and therein non-responsive to customer ...