11168 search results - page 1666 / 2234 » Abstract State Processes |
113
click to vote
ISVC
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. A challenge for virtual reality (VR) applications is to increase the realism of an observer’s visual experience. For this purpose the variation of the blur an observer ...
181
click to vote
LADS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Web applications represent an important category of applications that owe much of their popularity to the ubiquitous accessibility using standard web browsers. The comple...
123
click to vote
MODELS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
122
click to vote
MONTEREY
2007
Springer
15 years 11 months ago
2007
Springer
In this paper, we describe an approach to formally assess whether an organization conforms to a body of regulation. Conformance is cast as a model checking question where the regul...
131
click to vote
PADL
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We describe a declarative language, called BAD (brain architecture description language), which we have developed for describing and then running brain models. Models are...