3119 search results - page 300 / 624 » Abstract Requirement Analysis in Multiagent System Design |
145
click to vote
IFIP
2003
Springer
15 years 10 months ago
2003
Springer
Efficient communication in Bluetooth scatternets requires design of intra and inter-piconet scheduling algorithms, and therefore numerous algorithms have been proposed. However, du...
155
click to vote
SP
1997
IEEE
15 years 9 months ago
1997
IEEE
This paper analyzes a network-baseddenial of service attack for IP (Internet Protocol) based networks. It is popularly called SYN flooding. It works by an attacker sending many T...
150
click to vote
WCRE
1993
IEEE
15 years 9 months ago
1993
IEEE
Program transformation systems provide one means of formally deriving a program from its speci cation. The main advantage of this development method is that the executable program...
145
Voted
CCS
2000
ACM
15 years 9 months ago
2000
ACM
We consider compositional properties of reactive systems that are secure in a cryptographic sense. We follow the wellknown simulatability approach, i.e., the specification is an ...
162
click to vote
CISIS
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract—Introspection is the prerequisite of an autonomic behavior, the first step towards a performance improvement and a resource-usage optimization for largescale distribute...