112 search results - page 5 / 23 » Developers ask reachability questions |
WIFT
1998
IEEE
13 years 11 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...
CHI
1999
ACM
13 years 11 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
14 years 28 days 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
14 years 7 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
13 years 11 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 ...