Sciweavers

2024 search results - page 199 / 405
» A Logic Based Approach for Dynamic Access Control
Sort
View
SEMWEB
2007
Springer
15 years 10 months ago
Emerging Consensus In-situ
Abstract Traditional ontology mapping techniques are not strictly applicable in a dynamic and distributed environment (e.g. P2P and pervasive computing) in which on-the-fly alignm...
Bo Hu, Srinandan Dasmahapatra, Paul H. Lewis
BROADNETS
2007
IEEE
15 years 10 months ago
Resource dimensioning in WDM networks under state-based routing schemes
— Network dimensioning for wavelength-routed WDM networks has been extensively studied to maximize connection acceptance rate while minimizing the total cost. However, Internet s...
Xiaolan J. Zhang, Sun-il Kim, Steven S. Lumetta
DLS
2008
149views Languages» more  DLS 2008»
15 years 5 months ago
Gradual typing with unification-based inference
Static and dynamic type systems have well-known strengths and weaknesses. Gradual typing provides the benefits of both in a single language by giving the programmer control over w...
Jeremy G. Siek, Manish Vachharajani
OOPSLA
2007
Springer
15 years 10 months ago
Modular typestate checking of aliased objects
Objects often define usage protocols that clients must follow in order for these objects to work properly. Aliasing makes it notoriously difficult to check whether clients and i...
Kevin Bierhoff, Jonathan Aldrich
ICCCN
1998
IEEE
15 years 8 months ago
HYDRANET : Network Support for Scaling of Large-Scale Services
With the explosive growth of demand for services on the Internet, the networking infrastructure (routers, protocols, servers) is under considerable stress. Mechanisms are needed f...
Hamesh Chawla, Geoff Dillon, Riccardo Bettati