2245 search results - page 131 / 449 » A Case Study Implementing Features Using AspectJ |
133
click to vote
DNA
2001
Springer
15 years 9 months ago
2001
Springer
DNA is used to implement a simplified version of poker. Strategies are evolved that mix bluffing with telling the truth. The essential features are (1) to wait your turn, (2) to de...
149
Voted
TSP
2008
15 years 4 months ago
2008
Multidimensional hourglass filter banks decompose the frequency spectrum of input signals into hourglass-shaped directional subbands, each aligned with one of the frequency axes. T...
143
click to vote
ICTAI
2007
IEEE
15 years 11 months ago
2007
IEEE
We introduce a novel Ontology-based Argumentation Framework (OAF) that links a logic-based argumentation formalism and description logic ontologies. We show how these two formalis...
145
Voted
FMICS
2008
Springer
15 years 6 months ago
2008
Springer
Given the intractability of exhaustively verifying software, the use of runtime-verification, to verify single execution paths at runtime, is becoming popular. Although the use of ...
193
click to vote
IFIP
2010
Springer
14 years 11 months ago
2010
Springer
Concurrent software is difficult to verify. Because the thread schedule is not controlled by the application, testing may miss defects that occur under specific thread schedules. T...