898 search results - page 68 / 180 » A Component Framework for HPC Applications |
107
click to vote
FROCOS
2005
Springer
15 years 7 months ago
2005
Springer
We define a general notion of a fragment within higher order type theory; a procedure for constraint satisfiability in combined fragments is outlined, following Nelson-Oppen sche...
122
click to vote
GI
2004
Springer
15 years 6 months ago
2004
Springer
: The transition from microelectronics to nanoelectronics reaches physical limits and results in a paradigm shift in the design and fabrication of electronic circuits. The conserva...
104
click to vote
ISAS
2004
Springer
15 years 6 months ago
2004
Springer
A ubiquitous computing system derives its operations from the collective interactions of its constituent components. Consequently, a robust ubiquitous system entails that the discr...
125
click to vote
DOCENG
2010
ACM
15 years 2 months ago
2010
ACM
Building authoring applications is a tedious and complex task that requires a high programming effort. Document technologies, especially XML based ones, can help in reducing such ...
120
click to vote
C3S2E
2009
ACM
15 years 8 months ago
2009
ACM
Service Oriented Architecture (SOA) is a design framework that permits the developer to build complex applications from smaller modules called “services”. When applying SOA to...