Sciweavers

4963 search results - page 268 / 993
» Implementing a Categorical Information System
Sort
View
IJVR
2008
124views more  IJVR 2008»
15 years 6 months ago
Tactile Displays in Human-Machine Interaction: Four Case Studies
Tactile and force feedback are widely exploited in VR and VE applications as a complement or substitution of the visual or auditory presentation of information. We have successfull...
Ramiro Velazquez, Edwige Pissaloux
IWPC
1999
IEEE
15 years 11 months ago
Reconstructing Ownership Architectures To Help Understand Software Systems
Recent research suggests that large software systems should have a documented system architecture. One form of documentation that may help describe the structure of software syste...
Ivan T. Bowman, Richard C. Holt
CORR
2011
Springer
221views Education» more  CORR 2011»
15 years 1 months ago
Course on System Design (structural approach)
—The article describes a course on system design (structural approach) which involves the following: issues of systems engineering; structural models; basic technological problem...
Mark Sh. Levin
161
Voted
WICSA
2004
15 years 8 months ago
Software Architecture for Large-Scale, Distributed, Data-Intensive Systems
The sheer amount of data produced by modern science research has created a need for the construction and understanding of "data-intensive systems", largescale, distribut...
Chris Mattmann, Daniel J. Crichton, J. Steven Hugh...
FM
2001
Springer
142views Formal Methods» more  FM 2001»
15 years 11 months ago
Model-Checking over Multi-valued Logics
Classical logic cannot be used to effectively reason about systems with uncertainty (lack of essential information) or inconsistency (contradictory information often occurring when...
Marsha Chechik, Steve M. Easterbrook, Victor Petro...