Sciweavers

21 search results - page 2 / 5
» ia 2006
Sort
View
IA
2006
137views more  IA 2006»
13 years 4 months ago
Automated Reasoning
Automated reasoning is becoming an essential issue in many Web systems and applications, especially in emerging Semantic Web applications. This article first discusses reasons for...
Maria Paola Bonacina, Alberto Martelli
GLOBECOM
2006
IEEE
13 years 10 months ago
A Game-Theoretic Framework for Interference Avoidance in Ad hoc Networks
It is shown in this paper that direct extensions of distributed greedy Interference Avoidance (IA) techniques for networks with centralized receivers to networks with multiple unc...
Rekha Menon, Allen B. MacKenzie, R. Michael Buehre...
CCGRID
2006
IEEE
13 years 10 months ago
Evaluating Performance and Scalability of Advanced Accelerator Simulations
Advanced accelerator simulations have played a prominent role in the design and analysis of modern accelerators. Given that accelerator simulations are computational intensive and...
Jungmin Lee, Zhiling Lan, J. Amundson, P. Spentzou...
ACSAC
2006
IEEE
13 years 10 months ago
Known/Chosen Key Attacks against Software Instruction Set Randomization
Instruction Set Randomization (ISR) has been proposed as a form of defense against binary code injection into an executing program. One proof-of-concept implementation is Randomiz...
Yoav Weiss, Elena Gabriela Barrantes
ENTCS
2006
112views more  ENTCS 2006»
13 years 4 months ago
Interface Automata with Complex Actions
Many formalisms use interleaving to model concurrency. To describe some system behaviours appropriately, we need to limit interleaving. For example, in componentbased systems, we ...
Shahram Esmaeilsabzali, Farhad Mavaddat, Nancy A. ...