7529 search results - page 397 / 1506 » The Modula-3 Type System |
183
click to vote
SPIN
2004
Springer
16 years 5 days ago
2004
Springer
We propose a new framework for black-box conformance testing of real-time systems, where specifications are modeled as nondeterministic and partially-observable timed automata. We...
176
click to vote
TIDSE
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. This paper presents Textable Movie, an open-ended interface that allows anyone to become "video-jockey." In the framework of computational storytelling, Textabl...
171
click to vote
ADC
2003
Springer
16 years 1 days ago
2003
Springer
An exciting trend in enterprise computing lies in the integration of applications across an organisation and even between organisations. This allows the provision of services by a...
173
click to vote
ACSC
2002
IEEE
15 years 11 months ago
2002
IEEE
The per-method access control lists of standard middleware technologies allow only simple forms of access control to be expressed and enforced. Research systems based on capabilit...
185
click to vote
IWANN
2009
Springer
15 years 11 months ago
2009
Springer
This article presents a distributed agent-based architecture that can process the visual information obtained by stereoscopic cameras. The system is embedded within a global projec...