10916 search results - page 80 / 2184 » On Constructive Connectives and Systems |
79
Voted
TIC
1998
Springer
15 years 4 months ago
1998
Springer
103
Voted
HYBRID
2004
Springer
15 years 6 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...
126
Voted
COOTS
1997
15 years 2 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...
69
Voted
ISJ
2002
15 years 14 days 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
98
Voted
ICAT
2007
IEEE
15 years 7 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 ...