Sciweavers

533 search results - page 53 / 107
» Control flow based obfuscation
Sort
View
81
Voted
SIGCOMM
2010
ACM
15 years 2 months ago
Fair bandwidth allocation in wireless network using max-flow
This paper proposes a fair association scheme between clients and APs in WiFi network, exploiting the hybrid nature of the recent WLAN architecture. We show that such an associati...
Sourav Kumar Dandapat, Bivas Mitra, Niloy Ganguly,...
KBSE
2006
IEEE
15 years 8 months ago
Automated Reasoning on Aspects Interactions
The aspect-oriented paradigm allows weaving aspects in different join points of a program. Aspects can modify object fields and method control flow, thus possibly introducing subt...
Paolo Falcarin, Marco Torchiano
ESCIENCE
2007
IEEE
15 years 6 months ago
Formal Modeling and Analysis of Scientific Workflows Using Hierarchical State Machines
Scientific workflows have recently emerged as a new paradigm for representing and managing complex distributed scientific computations and data analysis, and have enabled and acce...
Ping Yang, Zijiang Yang, Shiyong Lu
RSP
2000
IEEE
100views Control Systems» more  RSP 2000»
15 years 6 months ago
A Hardware Virtual Machine for the Networked Reconfiguration
Networked reconfiguration is an enabling technology for cost effective service deployment and maintenance. A hardware virtual machine to enable this networked reconfigurapresented...
Yajun Ha, Patrick Schaumont, Marc Engels, Serge Ve...
132
Voted
BPM
2006
Springer
149views Business» more  BPM 2006»
15 years 4 months ago
Verifying BPEL Workflows Under Authorisation Constraints
Abstract. Business Process Execution Language (BPEL), or Web Services BPEL (WS-BPEL), is the standard for specifying workflow process definition using web services. Research on for...
Zhao Xiangpeng, Antonio Cerone, Padmanabhan Krishn...