Sciweavers

5075 search results - page 876 / 1015
» Model-based interface development
Sort
View
CORR
2004
Springer
142views Education» more  CORR 2004»
15 years 2 months ago
Modeling and Validating Hybrid Systems Using VDM and Mathematica
Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern c...
Bernhard K. Aichernig, Reinhold Kainhofer
CANDC
2002
ACM
15 years 2 months ago
A model for information technologies that can be creative
To contribute to HCI investigation and interface design that develops interactive systems for creative solutions, I attempt to formulate a model of the human capability to combine...
Johan F. Hoorn
CORR
2002
Springer
101views Education» more  CORR 2002»
15 years 2 months ago
Semantic Component Composition
Building complex software systems necessitates the use of component-based architectures. In theory, of the set of components needed for a design, only some small portion of them ar...
Joseph Kiniry
130
Voted
FAC
2000
114views more  FAC 2000»
15 years 2 months ago
Representational Reasoning and Verification
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...
Gavin J. Doherty, José Creissac Campos, Mic...
91
Voted
DATASCIENCE
2002
71views more  DATASCIENCE 2002»
15 years 2 months ago
An integrated web resource for crystallography
A recurring theme during the CODATA 2000 conference (Lake Maggiore, Italy, 15 - 19 October 2000) was the increasing convergence in data-rich branches of science between the storag...
Brian McMahon