Sciweavers

1003 search results - page 68 / 201
» Extending the Adaptability of Reference Models
Sort
View
WSC
2004
15 years 2 months ago
An Adaptive Approach to Fast Simulation of Traffic Groomed Optical Networks
In this paper, we consider the fast simulation of traffic groomed optical networks, in which multiple sub-rate traffic streams may be carried on the same wavelength. For real-size...
Chih-Chieh Hsu, Michael Devetsikiotis
CRYPTO
2004
Springer
138views Cryptology» more  CRYPTO 2004»
15 years 6 months ago
Secure Identity Based Encryption Without Random Oracles
We construct two efficient Identity Based Encryption (IBE) systems that are selective identity secure without the random oracle model. Selective identity secure IBE is a slightly w...
Dan Boneh, Xavier Boyen
ATVA
2010
Springer
148views Hardware» more  ATVA 2010»
15 years 2 months ago
Recursive Timed Automata
We study recursive timed automata that extend timed automata with recursion. Timed automata, as introduced by Alur and Dill, are finite automata accompanied by a finite set of real...
Ashutosh Trivedi, Dominik Wojtczak
ASPLOS
2010
ACM
15 years 4 months ago
Butterfly analysis: adapting dataflow analysis to dynamic parallel monitoring
Online program monitoring is an effective technique for detecting bugs and security attacks in running applications. Extending these tools to monitor parallel programs is challeng...
Michelle L. Goodstein, Evangelos Vlachos, Shimin C...
ECOOP
2004
Springer
15 years 6 months ago
The Expression Problem Revisited
The expression problem (aka the extensibility problem) refers to a fundamental dilemma of programming: Can your application be structured in such a way that both the data model and...
Mads Torgersen