10916 search results - page 80 / 2184 » On Constructive Connectives and Systems |
TIC
1998
Springer
15 years 1 months ago
1998
Springer
HYBRID
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. An invariant of a system is a predicate that holds for every reachable state. In this paper, we present techniques to generate invariants for hybrid systems. This is achi...
COOTS
1997
14 years 11 months ago
1997
The boundary between application and system is becoming increasingly permeable. Extensible applications, such as web browsers, database systems, and operating systems, demonstrate...
ISJ
2002
14 years 9 months ago
2002
Abstract. This paper reports on the extension of the Multiview framework to webbased information systems. The aims are firstly to investigate the appropriateness of Multiview
ICAT
2007
IEEE
15 years 4 months ago
2007
IEEE
In the design of a large-scale device, it is very important to confirm that there is no interference or spatial conflict among the parts. Virtual reality devices have been used ...