2012 search results - page 385 / 403 » CORAL - Control, Relations and Logic |
DNA
2009
Springer
15 years 8 months 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...
120
click to vote
MHCI
2009
Springer
15 years 8 months 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 ...
120
click to vote
OOPSLA
2009
Springer
15 years 8 months 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...
119
click to vote
OTM
2009
Springer
15 years 8 months 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...
126
click to vote
ISSTA
2009
ACM
15 years 8 months 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...