Sciweavers

635 search results - page 40 / 127
» Four states are enough!
Sort
View
DATE
2008
IEEE
111views Hardware» more  DATE 2008»
14 years 2 months ago
A Formal Approach To The Protocol Converter Problem
In the absence of a single module interface standard, integration of pre-designed modules in System-on-Chip design often requires the use of protocol converters. Existing approach...
Karin Avnit, Vijay D'Silva, Arcot Sowmya, S. Rames...
HASE
2008
IEEE
14 years 2 months ago
Small Logs for Transactional Services: Distinction is Much More Accurate than (Positive) Discrimination
For complex services, logging is an integral part of many middleware aspects, especially, transactions and monitoring. In the event of a failure, the log allows us to deduce the c...
Debmalya Biswas, Thomas Gazagnaire, Blaise Genest
AADEBUG
1995
Springer
13 years 11 months ago
Software Testability Measurement for Assertion Placement and Fault Localization
Software testability, the tendency for software to reveal its faults during testing, is an important issue for veri cation and quality assurance. Testability measurement can also b...
Jeffrey M. Voas
AAAI
2010
13 years 9 months ago
A General Game Description Language for Incomplete Information Games
A General Game Player is a system that can play previously unknown games given nothing but their rules. The Game Description Language (GDL) has been developed as a highlevel knowl...
Michael Thielscher
IWEC
2008
13 years 9 months ago
Towards Emotional Characters in Computer Games
This paper describes our research on integrating emotion aspects into characters of video games. Motivation for this is the significant absence of emotive expression in most charac...
Robert Schaap, Rafael Bidarra