494 search results - page 80 / 99 » Static Analysis for Guarded Code |
148
click to vote
SIGMOD
1993
ACM
15 years 6 months ago
1993
ACM
We describe the design and implementation of the Glue-Nail database system. The Nail language is a purely declarative query language; Glue is a procedural language used for nonque...
111
click to vote
FOAL
2007
ACM
15 years 6 months ago
2007
ACM
AspectJ aims at managing tangled concerns in Java systems. Crosscutting aspect definitions are woven into the Java bytecode at compile-time. Whether the better modularization intr...
214
Voted
ECOOP
2009
Springer
16 years 3 months ago
2009
Springer
Reusable APIs often dene usage protocols. We previously developed a sound modular type system that checks compliance with typestate-based protocols while aording a great deal of al...
139
click to vote
SECON
2007
IEEE
15 years 8 months ago
2007
IEEE
—Programming Wireless Sensor Network (WSN) applications is known to be a difficult task. Part of the problem is that the resource limitations of typical WSN nodes force programm...
113
click to vote
ECML
2005
Springer
15 years 8 months ago
2005
Springer
Automatic facial expression recognition is a research topic with interesting applications in the field of human-computer interaction, psychology and product marketing. The classi...