598 search results - page 34 / 120 » Generic Trace Theory |
RTAS
2009
IEEE
14 years 4 months ago
2009
IEEE
—Software instrumentation is a key technique in many stages of the development process. It is of particular importance for debugging embedded systems. Instrumented programs produ...
ATAL
2004
Springer
14 years 3 months ago
2004
Springer
The purpose of this paper is to report on experiments in (human) multi-issue negotiation and their analysis, and to present a generic software environment supporting such an analy...
ICALT
2011
IEEE
12 years 9 months ago
2011
IEEE
—this work addresses issues relevant to the project CLES (Cognitive and Linguistic Element Stimulation) which aims to develop a serious game for diagnosis and training of childre...
SYNASC
2006
IEEE
14 years 4 months ago
2006
IEEE
The paper focuses on means of defining parameterized type categories and algorithms built on such types in Mathematica. Symbolic algorithms based on category theory have the advan...
ENTCS
2007
13 years 10 months ago
2007
The rewrite-based approach to satisfiability modulo theories consists of using generic theorem-proving strategies for first-order logic with equality. If one can prove that an i...