5856 search results - page 227 / 1172 » Developing Query Patterns |
122
click to vote
ICFP
2008
ACM
16 years 3 months ago
2008
ACM
In the context of program verification in an interactive theorem prover, we study the problem of transforming function definitions with ML-style (possibly overlapping) pattern mat...
121
click to vote
ICNS
2008
IEEE
15 years 9 months ago
2008
IEEE
Many Service Oriented Architecture (SOA) approaches in use today presume the consistent availability of reliable networks and limitless resources. For some Department of Defense (...
135
Voted
ICPP
2008
IEEE
15 years 9 months ago
2008
IEEE
— This paper presents the Simulation and Wavefront parallel-programming patterns of the MAP3S pattern-based parallel programming system for distributed-memory environments. Both ...
106
click to vote
WER
2007
Springer
15 years 9 months ago
2007
Springer
The Problem Frames approach defines identifiable problem classes based on, among other things, their context and the characteristics of their domains, interfaces and requirements,...
126
click to vote
IRI
2005
IEEE
15 years 8 months ago
2005
IEEE
The AnyInformationHiding design pattern models the concept of information hiding and the interactions between parties associated with it in any application. Information hiding is ...