1018 search results - page 39 / 204 » Generative unbinding of names |
IPM
2007
13 years 9 months ago
2007
Most knowledge accumulated through scientific discoveries in genomics and related biomedical disciplines is buried in the vast amount of biomedical literature. Since understandin...
JOT
2008
13 years 9 months ago
2008
This article provides an overview of a pattern-based programming system, named Panda, for automatic generation of high-level programming language code. Many code generation system...
UM
2010
Springer
13 years 7 months ago
2010
Springer
While browsing the Web, providing profile information in social networking services, or tagging pictures, users leave a plethora of traces. In this paper, we analyze the nature of ...
ANCS
2009
ACM
13 years 7 months ago
2009
ACM
Inline stateful and deep inspection for intrusion prevention is becoming more challenging due to the increase in both the volume of network traffic and the complexity of the analy...
CORR
2009
Springer
13 years 6 months ago
2009
Springer
Previous work has shown that there are two major complexity barriers in the synthesis of fault-tolerant distributed programs, namely generation of fault-span, the set of states re...