11200 search results - page 473 / 2240 » An Object-oriented Optimization System |
132
click to vote
NOMS
2008
IEEE
15 years 11 months ago
2008
IEEE
—Agent-based virtual private networks architecture (ABVA) refers to the environment where a third-party provider runs and administers remote access VPN service for organizations ...
166
Voted
SP
2008
IEEE
15 years 11 months ago
2008
IEEE
Decentralized distributed systems such as peer-to-peer systems are particularly vulnerable to sybil attacks, where a malicious user pretends to have multiple identities (called sy...
181
click to vote
CASES
2004
ACM
15 years 10 months ago
2004
ACM
Many optimization techniques, including several targeted specifically at embedded systems, depend on the ability to calculate the number of elements that satisfy certain conditio...
122
click to vote
WORDS
2003
IEEE
15 years 10 months ago
2003
IEEE
Atomic Broadcast (where all processes deliver broadcast messages in the same order) is a very useful group communication primitive for building fault-tolerant distributed systems....
158
click to vote
EUROCAST
2007
Springer
15 years 8 months ago
2007
Springer
Abstract Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulas on the program variables. Most of m...