1704 search results - page 127 / 341 » Focusing Software Education on Engineering |
105
click to vote
UIST
1998
ACM
15 years 8 months ago
1998
ACM
We present a new system, called Cirrin, for pen input of ASCII characters using word-level unistrokes. Our system addresses the tradeoff between speed and accuracy of penbased tex...
108
click to vote
KBSE
1997
IEEE
15 years 8 months ago
1997
IEEE
Abstract: This paper describes some tools to support formal methods, and conversely some formal methods for developing such tools. We focus on distributed cooperative proving over ...
160
click to vote
EUROMICRO
1996
IEEE
15 years 8 months ago
1996
IEEE
Replication is a key strategy for improving locality, fault tolerance and availability in distributed systems. The paper focuses on distributed file systems and presents a system ...
118
click to vote
EDBTW
2006
Springer
15 years 7 months ago
2006
Springer
In my thesis I will address the problem of interoperation between information spaces on the web. We explain how this problem is different to traditional database integration scenar...
127
click to vote
ICFEM
2000
Springer
15 years 7 months ago
2000
Springer
Use Cases are a wide-spread informal method for specifying the requirements of a technical system in the early development phase. Z is a formal notation which aims to support, bes...