1301 search results - page 234 / 261 » Specifications via Realizability |
131
Voted
VIS
2009
IEEE
16 years 5 months ago
2009
IEEE
Abstract-- We present an interactive framework for exploring space-time relationships in databases of experimentally collected highresolution biomechanical data. These data describ...
127
Voted
MICCAI
2002
Springer
16 years 4 months ago
2002
Springer
Abstract. Diffusion tensor imaging (DTI) can provide the fundamental information required for viewing structural connectivity. However, robust and accurate acquisition and processi...
142
Voted
WWW
2004
ACM
16 years 4 months ago
2004
ACM
This paper presents a set of tools and techniques for analyzing interactions of composite web services which are specified in BPEL and communicate through asynchronous XML message...
273
Voted
PADL
2009
Springer
16 years 4 months ago
2009
Springer
This paper proposes a declarative description of user interfaces that s from low-level implementation details. In particular, the user interfaces specified in our framework are exe...
237
click to vote
PODS
2009
ACM
16 years 4 months ago
2009
ACM
Database technology is playing an increasingly important role in understanding and solving large-scale and complex scientific and societal problems and phenomena, for instance, un...