4460 search results - page 429 / 892 » Formal methods for interactive systems |
184
click to vote
MKM
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We explore mathematical knowledge in the field of electrical engineering and claim that electrical engineering is a suitable area of application for mathematical knowled...
166
click to vote
FM
2003
Springer
16 years 2 days ago
2003
Springer
: Real computer-based systems fail, and hence are often far less dependable than their owners and users need and desire. Individuals, organisations and indeed the world at large ar...
171
click to vote
AUTOMATICA
2004
15 years 6 months ago
2004
A fundamental problem in the simulation and control of complex physical systems containing distributed-parameter components concerns finite-dimensional approximation. Numerical me...
161
click to vote
ICAT
2006
IEEE
16 years 27 days ago
2006
IEEE
Abstract. We propose a new rendering system for large-scale, 3D geometic data that can be used with web-based content management systems (CMS). To achieve this, we employed a geome...
192
click to vote
CW
2004
IEEE
15 years 10 months ago
2004
IEEE
Technological limitations on current interfaces have made researches to develop new devices to interact with objects in the virtual environment. The goal of this project is to dev...