5482 search results - page 780 / 1097 » Logic Programming and Databases |
159
click to vote
SAS
2007
Springer
16 years 24 days ago
2007
Springer
Denotational static analysis of Java bytecode has a nice and clean compositional definition and an efficient implementation with binary decision diagrams. But it models only the f...
180
click to vote
KBSE
2005
IEEE
16 years 7 days ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...
199
click to vote
DCOSS
2005
Springer
16 years 6 days ago
2005
Springer
Tracking is one of the major applications of wireless sensor networks. EnviroSuite, as a programming paradigm, provides a comprehensive solution for programming tracking applicatio...
197
click to vote
PPDP
2005
Springer
16 years 4 days ago
2005
Springer
The paper develops a self-tuning resource aware partial evaluation technique for Prolog programs, which derives its own control strategies tuned for the underlying computer archit...
159
click to vote
PPDP
2005
Springer
16 years 4 days ago
2005
Springer
Type checking and type inference are fundamentally similar problems. However, the algorithms for performing the two operations, on the same type system, often differ significant...