4708 search results - page 212 / 942 » Generating the Structure of Argument |
148
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
We present the algorithms used in MCVETO (Machine-Code VErification TOol), a tool to check whether a stripped machinecode program satisfies a safety property. The verification p...
190
click to vote
ARCS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Certificate-based authentication of parties provides a powerful means for verifying claimed identities, since communicating partners do not have to exchange secrets in ad...
171
click to vote
WSC
2008
15 years 8 months ago
2008
The design of complex artificial populations is the first step in simulating evolution during the time span of socioeconomic variables as the family income. In this paper, a new h...
177
click to vote
CONEXT
2008
ACM
15 years 8 months ago
2008
ACM
In response to the limitations of the Internet architecture when used for applications for which it was not originally designed, a series of clean slate efforts have emerged to sh...
167
click to vote
ICWS
2010
IEEE
15 years 8 months ago
2010
IEEE
Service-oriented Architectures support the provision, discovery, and usage of services in different application contexts. The Web Service specifications provide a technical founda...