1742 search results - page 337 / 349 » An Applicative Module Calculus |
CODES
2007
IEEE
14 years 28 days ago
2007
IEEE
System-level and Platform-based design, along with Transaction Level modeling (TLM) techniques and languages like SystemC, appeared as a response to the ever increasing complexity...
AIPR
2004
IEEE
14 years 22 days ago
2004
IEEE
The motion imagery community would benefit from the availability of standard measures for assessing image interpretability. The National Imagery Interpretability Rating Scale (NII...
ATAL
2006
Springer
14 years 22 days ago
2006
Springer
A long-standing challenge in interactive entertainment is the creation of story-based games with dynamically responsive story-lines. Such games are populated by multiple objects a...
DFG
2004
Springer
14 years 22 days ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...
CCS
2006
ACM
14 years 22 days ago
2006
ACM
The Trusted Computing Group (TCG) has addressed a new generation of computing platforms employing both supplemental hardware and software with the primary goal to improve the secu...