861 search results - page 154 / 173 » Symbolic Program Analysis Using Term Rewriting and Generaliz... |
103
click to vote
KBSE
2010
IEEE
14 years 10 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 5 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...
107
click to vote
LCTRTS
2004
Springer
15 years 5 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. ...
103
click to vote
OOPSLA
2007
Springer
15 years 5 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...
102
click to vote
DOCENG
2003
ACM
15 years 5 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...