41 search results - page 5 / 9 » Exploring New Languages with HAIRCUT at CLEF 2005 |
DIGRA
2005
Springer
14 years 16 days ago
2005
Springer
The Game Ontology Project (GOP) is creating a framework for describing, analyzing and games, by defining a hierarchy of concepts abstracted from an analysis of many specific games...
POPL
2005
ACM
14 years 7 months ago
2005
ACM
We present a new approach to partial-order reduction for model checking software. This approach is based on initially exploring an arbitrary interleaving of the various concurrent...
MTV
2005
IEEE
14 years 17 days ago
2005
IEEE
Abstract— Owing to the recent trend of using applicationspecific instruction-set processors (ASIP), many Architecture Description Languages (ADLs) have been created. They specif...
AADEBUG
2005
Springer
13 years 9 months ago
2005
Springer
Increased reuse of software components has led to a software mishmash as existing packages are used as building blocks for new systems. Current debuggers cannot cope with the intr...
CHI
2005
ACM
14 years 7 months ago
2005
ACM
This paper discusses the design of a physical and digital system intended to allow for easy manipulation and interaction with the tremendous amount of options present in advanced ...