8495 search results - page 239 / 1699 » IT Support for Healthcare Processes |
190
click to vote
ISSAC
2007
Springer
16 years 26 days ago
2007
Springer
We report on a high-level categorical parallel framework, written in the Aldor language, to support high-performance computer algebra on symmetric multi-processors and multicore p...
193
click to vote
SEMWEB
2007
Springer
16 years 25 days ago
2007
Springer
Nowadays it is widely accepted that ontologies, the key technology for the realization of the Semantic Web, are artefacts that are collaboratively and iteratively developed/evolved...
173
click to vote
WWIC
2007
Springer
16 years 25 days ago
2007
Springer
The P-SHIM6 architecture provides ISP independence to IPv6 sites without compromising scalability. This architecture is based on a middle-box, the P-SHIM6, which manages the SHIM6 ...
172
click to vote
CSCW
2006
ACM
16 years 21 days ago
2006
ACM
Media sharing over mobile devices is quickly becoming a common practice, used to support a variety of social processes. Most existing systems employ a model of sharing that treats...
194
click to vote
APSEC
2005
IEEE
16 years 10 days ago
2005
IEEE
— Invariant based programming is an approach to program construction where we provide the program pre- and postconditions as well as loop invariants before we construct the code ...