Sciweavers

1453 search results - page 145 / 291
» State and history in operating systems
Sort
View
CORR
2011
Springer
134views Education» more  CORR 2011»
15 years 1 months ago
Robust Line Planning in case of Multiple Pools and Disruptions
Abstract. We consider the line planning problem in public transportation, under a robustness perspective. We present a mechanism for robust line planning in the case of multiple li...
Apostolos Bessas, Spyros C. Kontogiannis, Christos...
POPL
2009
ACM
16 years 7 months ago
State-dependent representation independence
Mitchell's notion of representation independence is a particularly useful application of Reynolds' relational parametricity -- two different implementations of an abstra...
Amal Ahmed, Derek Dreyer, Andreas Rossberg
BMCBI
2007
159views more  BMCBI 2007»
15 years 6 months ago
Computational genes: a tool for molecular diagnosis and therapy of aberrant mutational phenotype
Background: A finite state machine manipulating information-carrying DNA strands can be used to perform autonomous molecular-scale computations at the cellular level. Results: We ...
Israel Mark Martínez-Pérez, Gong Zha...
ICEGOV
2007
ACM
15 years 10 months ago
Formal threat descriptions for enhancing governmental risk assessment
Compared to the last decades, we have recently seen more and more governmental applications which are provided via the Internet directly to the citizens. Due to the long history o...
Andreas Ekelhart, Stefan Fenz, Thomas Neubauer, Ed...
CJ
2007
88views more  CJ 2007»
15 years 6 months ago
Context-aware Timely Information Delivery in Mobile Environments
In mobile environments transmitting information relevant to an event along with notification of the event has been proven to be an effective means of providing revenue enhancing s...
Amit Thawani, Srividya Gopalan, V. Sridhar, Krithi...