24 search results - page 5 / 5 » Software engineering tools and approaches for neuroinformati... |
SIGSOFT
2009
ACM
14 years 2 days ago
2009
ACM
Web-services are broadly considered as an effective means to achieve interoperability between heterogeneous parties of a business process and offer an open platform for developing...
ICFP
2009
ACM
14 years 6 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
WWW
2005
ACM
14 years 6 months ago
2005
ACM
The difficulty of developing and deploying commercial web applications increases as the number of technologies they use increases and as the interactions between these technologie...
INFOVIS
2005
IEEE
13 years 11 months ago
2005
IEEE
Exploratory visualization environments allow users to build and browse coordinated multiview visualizations interactively. As the number of views and amount of coordination increa...