Sciweavers

2024 search results - page 298 / 405
» A Logic Based Approach for Dynamic Access Control
Sort
View
ECOOPW
2003
Springer
15 years 12 months ago
Advancing the State of the Art in Run-Time Inspection
levels of abstraction. Lacking well-established technologies and models for representing and accessing program dynamics, tools must use ad-hoc mechanisms. This limits reuse and int...
Robert E. Filman, Katharina Mehner, Michael Haupt
SIGCOMM
2012
ACM
13 years 9 months ago
MultiNet: usable and secure WiFi device association
This demo presents MultiNet, a novel method for joining devices to a domestic Wi-Fi network. MultiNet dynamically reconfigures the network to accept each device, rather than con...
Anthony Brown, Richard Mortier, Tom Rodden
ECOWS
2006
Springer
15 years 10 months ago
Formal Modelling and Verification of an Asynchronous Extension of SOAP
Current web services are largely based on a synchronous request-response model that uses the Simple Object Access Protocol SOAP. Next-generation telecommunication networks, on the...
Maurice H. ter Beek, Stefania Gnesi, Franco Mazzan...
ANOR
2005
81views more  ANOR 2005»
15 years 6 months ago
Managing Stochastic, Finite Capacity, Multi-Project Systems through the Cross-Entropy Methodology
This paper addresses the problem of loading a finite capacity, stochastic (random) and dynamic multi-project system. The system is controlled by keeping a constant number of projec...
Izack Cohen, Boaz Golany, Avraham Shtub
JBCS
2002
102views more  JBCS 2002»
15 years 6 months ago
Configurable Data Integration Middleware System
This paper presents a new approach for generating configured and flexible middleware systems for integration of heterogeneous and distributed data. The configuration is based on t...
Álvaro Cesar P. Barbosa, Fabio Porto, Ruben...