2012 search results - page 385 / 403 » CORAL - Control, Relations and Logic |
144
click to vote
DNA
2009
Springer
16 years 16 days ago
2009
Springer
Recently we have shown how molecular logic circuits with many components arranged in multiple layers can be built using DNA strand displacement reactions. The potential application...
165
click to vote
MHCI
2009
Springer
16 years 15 days ago
2009
Springer
Mobile technologies, due to their ubiquitous nature, play an important role in supporting health care. However, it is not easy to design useful integrated mobile services without ...
159
click to vote
OOPSLA
2009
Springer
16 years 15 days ago
2009
Springer
Programs written in managed languages are compiled to a platform-independent intermediate representation, such as Java bytecode. The relative high level of Java bytecode has engen...
169
click to vote
OTM
2009
Springer
16 years 15 days ago
2009
Springer
Complex event processing (CEP) is a software architecture paradigm that aims at low latency, high throughput, and quick adaptability of applications for supporting and improving ev...
179
click to vote
ISSTA
2009
ACM
16 years 14 days ago
2009
ACM
Exception analysis and points-to analysis are typically done in complete separation. Past algorithms for precise exception analysis (e.g., pairing throw clauses with catch stateme...