8627 search results - page 1670 / 1726 » Software Engineering Using RATionale |
110
Voted
ISMAR
2002
IEEE
15 years 5 months ago
2002
IEEE
This system paper reports on some of the advantages tangible interaction can bring to chemistry education. The paper describes the realisation of an in-house designed Tangible Use...
108
Voted
CSCWD
2001
Springer
15 years 5 months ago
2001
Springer
The authors have developed a new approach to database interoperability using the sketch data model. That technique has now been used in a number of applications, but an important ...
139
Voted
TES
2001
Springer
15 years 5 months ago
2001
Springer
Current developments show that tomorrow’s information systems and applications will no longer be based on monolithic architectures that encompass all the functionality. Rather, t...
141
click to vote
RTCSA
1998
IEEE
15 years 4 months ago
1998
IEEE
Snap-shot mechanisms are used to read a globally consistent set of variable values. Such a mechanism can be used to solve a variety of communication and synchronization problems, ...
127
Voted
FM
1997
Springer
15 years 4 months ago
1997
Springer
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...