112 search results - page 5 / 23 » Developers ask reachability questions |
WIFT
1998
IEEE
15 years 1 months ago
1998
IEEE
In this paper I examine what industry really needs from formal specification techniques. I first describe the background to our use of formal techniques. I then look at the role o...
110
click to vote
CHI
1999
ACM
15 years 1 months ago
1999
ACM
In today’s homes and schools, children are emerging as frequent and experienced users of technology [3, 14]. As this trend continues, it becomes increasingly important to ask if...
CSCW
2004
ACM
15 years 3 months ago
2004
ACM
This paper examines the way in which a knowledge management system (KMS)—by which we mean the people, processes and software—came into being and evolved in response to a varie...
ICSE
2003
IEEE-ACM
15 years 9 months ago
2003
IEEE-ACM
We set out to answer a question we were asked by software project management: how much effort remains to be spent on a specific software project and how will that effort be distri...
NLDB
2000
Springer
15 years 1 months ago
2000
Springer
This paper discusses the use of information extraction and natural language generation in the design of an automated e-mail answering system. We analyse short free-form texts and ...