1284 search results - page 170 / 257 » Abstract Processes in Orchestration Languages |
150
click to vote
TCS
2002
15 years 4 months ago
2002
We show how formal specifications can be integrated into one of the current pragmatic object-oriented software development methods. Jacobson's "Object-Oriented Software ...
160
click to vote
DLOG
2009
15 years 2 months ago
2009
Abstract. The paper describes how interpretations of multimedia documents can be formally derived using abduction over domain knowledge represented in an ontology. The approach use...
138
click to vote
PLDI
1997
ACM
15 years 8 months ago
1997
ACM
An interface definition language (IDL) is a nontraditional language for describing interfaces between software components. IDL compilers generate “stubs” that provide separat...
183
click to vote
ASPLOS
2011
ACM
14 years 8 months ago
2011
ACM
Graphics processing units (GPUs) provide a low cost platform for accelerating high performance computations. The introduction of new programming languages, such as CUDA and OpenCL...
185
Voted
SIGADA
2001
Springer
15 years 9 months ago
2001
Springer
Statement and AbstractProblem Statement and AbstractProblem Statement and AbstractProblem Statement and Abstract The U.S. Navy currently bases the majority of our contact managemen...