Sciweavers

3435 search results - page 452 / 687
» Understanding Mashup Development
Sort
View
ICSOC
2004
Springer
15 years 9 months ago
Methodological support for service-oriented design with ISDL
Currently, service-oriented computing is mainly technology-driven. Most developments focus on the technology that enables enterprises to describe, publish and compose application ...
Dick A. C. Quartel, Remco M. Dijkman, Marten van S...
IFM
2004
Springer
15 years 9 months ago
Verifying Controlled Components
Recent work on combining CSP and B has provided ways of describing systems comprised of components described in both B (to express requirements on state) and CSP (to express intera...
Steve Schneider, Helen Treharne
LCPC
2004
Springer
15 years 9 months ago
Implementation of Parallel Numerical Algorithms Using Hierarchically Tiled Arrays
In this paper, we describe our experience in writing parallel numerical algorithms using Hierarchically Tiled Arrays (HTAs). HTAs are classes of objects that encapsulate parallelis...
Ganesh Bikshandi, Basilio B. Fraguela, Jia Guo, Ma...
MATA
2004
Springer
115views Communications» more  MATA 2004»
15 years 9 months ago
AgentViz: A Visualization System for Mobile Agents
Although inexpensive, high performance computer graphics hardware has become commonly available, its application in the mobile agent and networking fields has thus far been limite...
Ken Deeter, Son T. Vuong
MICCAI
2004
Springer
15 years 9 months ago
Bite-Block Relocation Error in Image-Guided Otologic Surgery
Otologic surgery is undertaken to treat ailments of the ear including persistent infections, hearing loss, vertigo, and cancer. Typically performed on healthy patients in outpatien...
J. Michael Fitzpatrick, Ramya Balachandran, Robert...