494 search results - page 80 / 99 » Static Analysis for Guarded Code |
197
Voted
SIGMOD
1993
ACM
15 years 10 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...
162
Voted
FOAL
2007
ACM
15 years 10 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...
266
click to vote
ECOOP
2009
Springer
16 years 7 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...
195
click to vote
SECON
2007
IEEE
16 years 21 days 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...
170
click to vote
ECML
2005
Springer
15 years 12 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...