861 search results - page 154 / 173 » Symbolic Program Analysis Using Term Rewriting and Generaliz... |
KBSE
2010
IEEE
14 years 8 months ago
2010
IEEE
Situated software systems are an emerging class of systems that are predominantly pervasive, embedded, and mobile. They are marked with a high degree of unpredictability and dynam...
CCS
2003
ACM
15 years 3 months ago
2003
ACM
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...
LCTRTS
2004
Springer
15 years 3 months ago
2004
Springer
Application specific instruction-set processors combine an efficient general purpose core with special purpose functionality that is tailored to a particular application domain. ...
OOPSLA
2007
Springer
15 years 4 months ago
2007
Springer
Omniscient debuggers make it possible to navigate backwards in time within a program execution trace, drastically improving the task of debugging complex applications. Still, they...
DOCENG
2003
ACM
15 years 3 months ago
2003
ACM
Interactive video technology is meant to support user-interaction with video in scene objects associated with navigation in video segments and access to text-based metadata. Inter...