14642 search results - page 304 / 2929 » It's Time for a Change |
207
click to vote
TCS
2011
15 years 1 months ago
2011
We give a semantic account of the execution time (i.e. the number of cut elimination steps leading to the normal form) of an untyped MELL net. We first prove that: 1) a net is he...
178
click to vote
AOSD
2007
ACM
15 years 10 months ago
2007
ACM
The traditional constraints on software development and architectures in the consumer electronics domain, including the low cost of manufacturing of a product, support for familie...
172
click to vote
WORDS
2005
IEEE
16 years 11 days ago
2005
IEEE
In emerging e-commerce applications, time constrained information sharing between different systems is becoming a common phenomenon. A flexible and efficient mechanism is needed t...
159
click to vote
GECCO
2004
Springer
16 years 5 days ago
2004
Springer
A critical success factor in Insurance business is its ability to use information sources and contained knowledge in the most effective way. Its profitability is obtained through t...
192
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We propose a novel theoretical biomolecular design to implement any Boolean circuit using the mechanism of DNA strand displacement. The design is scalable: all species of DNA stra...