8828 search results - page 187 / 1766 » Formal methods in practice |
188
click to vote
CSFW
2012
IEEE
13 years 7 months ago
2012
IEEE
The onion routing network Tor is undoubtedly the most widely employed technology for anonymous web access. Although the underlying onion routing (OR) protocol appears satisfactory...
135
click to vote
AGILEDC
2008
IEEE
15 years 11 months ago
2008
IEEE
This experience report describes the challenges and initial steps taken to move a large development team from traditional waterfall test phases to agile test methods. In late 2007...
137
click to vote
ACSAC
2001
IEEE
15 years 8 months ago
2001
IEEE
Vulnerabilities in distributed applications are being uncovered and exploited faster than software engineers can patch the security holes. All too often these weaknesses result fr...
166
click to vote
WINET
2002
15 years 4 months ago
2002
Wireless ad-hoc sensor networks have the potential to provide the missing interface between the physical world and the Internet, thus impacting a large number of users. This conne...
181
click to vote
MTA
2011
14 years 12 months ago
2011
: With the advances in a variety of software/hardware technologies and wireless networking, there is coming a need for ubiquitous collaboration which allows people to access inform...