6624 search results - page 930 / 1325 » Design Pattern Recognition |
255
click to vote
LPAR
2012
Springer
14 years 2 months ago
2012
Springer
We motivate and introduce a query language PrQL designed for inspecting machine representations of proofs. PrQL natively supports hiproofs which express proof structure using hiera...
203
click to vote
MTDT
2003
IEEE
16 years 18 hour ago
2003
IEEE
ct Defect-based testing for digital logic concentrates primarily on methods of test application, including for example at-speed structural tests and IDDQ testing. In contrast, defe...
184
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
The Visual Software Circuit Board (VSCB) platform supports a component based development methodology towards the development of software systems. The circuit board design techniqu...
189
click to vote
COORDINATION
2009
Springer
16 years 7 months ago
2009
Springer
Process-oriented programming is a design methodology in which software applications are constructed from communicating concurrent processes. A process-oriented design is typically ...
138
click to vote
AIIDE
2007
15 years 9 months ago
2007
Scripting the plot in a computer role-playing game requires a large number of scripts that are difficult to program, track and maintain. Game adventures often include simple plot...