7602 search results - page 222 / 1521 » A New Approach to Base Revision |
194
click to vote
AICCSA
2006
IEEE
16 years 22 days ago
2006
IEEE
The increased complexity, heterogeneity and the dynamism of networked systems and services make current control and management tools to be ineffective in managing and securing suc...
169
click to vote
EMISA
2005
Springer
16 years 5 days ago
2005
Springer
: Most of today’s e-marketplaces support a single negotiation protocol. The protocol is usually built into the e-marketplace infrastructure, therefore if a new one is introduced ...
172
click to vote
OOPSLA
2004
Springer
16 years 14 hour ago
2004
Springer
A long-standing goal of software engineering is to construct software that is easily modified and extended. Recent advances in software design techniques, such as aspect-oriented ...
165
click to vote
ITC
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, a new paradigm for designing logic circuits with concurrent error detection (CED) is described. The key idea is to exploit the asymmetric soft error susceptibility ...
204
click to vote
LICS
2002
IEEE
15 years 11 months ago
2002
IEEE
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...