Sciweavers

1573 search results - page 113 / 315
» Signs and Formal Concepts
Sort
View
DASFAA
1993
IEEE
127views Database» more  DASFAA 1993»
15 years 6 months ago
An Object-Centered Data Model for Engineering Design Databases
: Entities in engineering design databases need to evolve in both structure and behavior. Such a need is not well addressed by object-oriented data models based on the class concep...
Huibin Zhao, Alexandros Biliris
IWFM
2000
162views Formal Methods» more  IWFM 2000»
15 years 3 months ago
Modal Logics for Reasoning about Object-based Component Composition
Component-oriented development of software supports the adaptability and maintainability of large systems, in particular if requirements change over time and parts of a system hav...
Claus Pahl
143
Voted
HCI
1993
15 years 3 months ago
Quantitative Measures for Evaluating Human-Computer Interfaces
There currently are 4 different views on human computer interaction in measuring interactive qualities: (1) the interaction-oriented view, (2) the user-oriented view, (3) the prod...
Matthias Rauterberg
BIRTHDAY
2010
Springer
15 years 3 months ago
Three Paths to Effectiveness
Over the past two decades, Gurevich and his colleagues have developed axiomatic foundations for the notion of algorithm, be it classical, interactive, or parallel, and formalized t...
Udi Boker, Nachum Dershowitz
ENTCS
2008
158views more  ENTCS 2008»
15 years 1 months ago
Aspect-Oriented Action Semantics Descriptions
The modularity of programming language descriptions allows the designer to describe each programming language feature in a separated module that can be studied independently of ot...
Luis Carlos de Sousa Menezes