Sciweavers

2542 search results - page 254 / 509
» An Operational Definition of Context
Sort
View
AML
2006
83views more  AML 2006»
15 years 6 months ago
The Medvedev lattice of computably closed sets
Simpson introduced the lattice P of 0 1 classes under Medvedev reducibility. Questions regarding completeness in P are related to questions about measure and randomness. We presen...
Sebastiaan Terwijn
IJFCS
2007
109views more  IJFCS 2007»
15 years 6 months ago
Computational Power of intramolecular gene Assembly
The process of gene assembly in ciliates, an ancient group of organisms, is one of the most complex instances of DNA manipulation known in any organism. Three molecular operations...
Tseren-Onolt Ishdorj, Ion Petre, Vladimir Rogojin
ICSOC
2010
Springer
15 years 5 months ago
Carbon-Aware Business Process Design in Abnoba
A key element of any approach to meeting the climate change challenge is the ability to improve operational efficiency in a pervasive fashion. The notion of a business process is a...
Konstantin Hoesch-Klohe, Aditya K. Ghose
POPL
2007
ACM
16 years 7 months ago
JavaScript instrumentation for browser security
It is well recognized that JavaScript can be exploited to launch browser-based security attacks. We propose to battle such attacks using program instrumentation. Untrusted JavaScr...
Dachuan Yu, Ajay Chander, Nayeem Islam, Igor Serik...
POPL
2007
ACM
16 years 7 months ago
Generative unbinding of names
This paper is concerned with a programming language construct for typed name binding that enforces -equivalence. It proves a new result about what operations on names can co-exist...
Andrew M. Pitts, Mark R. Shinwell