198 search results - page 2 / 40 » Describing Secure Interfaces with Interface Automata |
WWW
2009
ACM
14 years 6 months ago
2009
ACM
In this paper, we briefly describe the implementation of various Open Geospatial Consortium Web Service Interface Standards in Oracle Spatial 11g. We highlight how we utilize Orac...
GRID
2008
Springer
13 years 5 months ago
2008
Springer
The medical community is producing and manipulating a tremendous volume of digital data for which computerized archiving, processing and analysis is needed. Grid infrastructures ar...
OOPSLA
2005
Springer
13 years 11 months ago
2005
Springer
Two experimental tools to support usage-centered design using l use cases and canonical abstract prototypes are described. The models and methods of usage-centered design are outl...
AGENTS
2000
Springer
13 years 10 months ago
2000
Springer
Theoretically motivated planning systems often make assumptions about their environments, in areas such as the predictability of action e ects, static behavior of the environment,...
ENTCS
2007
13 years 5 months ago
2007
This article describes an architecture for creating responsive web interfaces for proof assistants. The architecture combines current web development technologies with the functio...