1799 search results - page 278 / 360 » The Logic of Correctness in Software Engineering |
181
click to vote
ICAS
2006
IEEE
16 years 8 days ago
2006
IEEE
This paper is concerned with the problem of intrinsically assigning meaning to the signals responsible for autonomic responses in a system. Without an associated cognitive system,...
144
click to vote
FOSSACS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We investigate a category theoretic model where both “variables” and “names”, usually viewed as separate notions, are particular cases of the more general notion ...
155
click to vote
OOPSLA
2005
Springer
15 years 11 months ago
2005
Springer
We describe CodeQuest, a system for querying source code. It combines two previous proposals, namely the use of logic programming and database system. Experiments (on projects ran...
132
click to vote
ARCS
2004
Springer
15 years 11 months ago
2004
Springer
: We investigated different parallel SIMD (single instruction multiple data) architectures based on pure programmable and reconfigurable approaches for their appropriateness for in...
150
Voted
EMSOFT
2004
Springer
15 years 11 months ago
2004
Springer
In reactive systems, execution is driven by external events to which the system should respond with appropriate actions. Such events can be simple, but systems are often supposed ...