7380 search results - page 962 / 1476 » Engineering Software Intensive Systems |
160
click to vote
SIGSOFT
1998
ACM
15 years 10 months ago
1998
ACM
Implicit invocation SN92, GN91] has become an important architectural style for large-scale system design and evolution. This paper addresses the lack of speci cation and veri cat...
193
click to vote
UIST
1998
ACM
15 years 10 months ago
1998
ACM
The cartographic Principle of Constant Information Density suggests that the amount of information in an interactive visualization should remain constant as the user pans and zoom...
160
Voted
UIST
1994
ACM
15 years 10 months ago
1994
ACM
Communication is about people, not machines. But as firms and families alike spread out geographically, we rely increasingly on telecommunications tools to keep us "connected...
203
Voted
UIST
1994
ACM
15 years 10 months ago
1994
ACM
The human visual system makes a great deal more of images than the elemental marks on a surface. In the course of viewing, creating, or editing a picture, we actively construct a ...
165
click to vote
AMAST
2004
Springer
15 years 10 months ago
2004
Springer
Since Z, being a state-based language, describes a system in terms of its state and potential state changes, it is natural to want to describe properties of a specified system also...