7139 search results - page 445 / 1428 » Language Engineering in Practice |
208
click to vote
CODES
2000
IEEE
16 years 4 days ago
2000
IEEE
In current design practice synthesis tools play a key role, letting designers to concentrate on the specificationof the system being designed by carrying out repetitive tasks such...
197
click to vote
UIST
1999
ACM
16 years 11 hour ago
1999
ACM
Most document or information management systems rely on hierarchies to organise documents (e.g. files, email messages or web bookmarks). However, the rigid structures of hierarchi...
213
click to vote
ESEC
1999
Springer
15 years 12 months ago
1999
Springer
The liveness characteristics of a system are intimately related to the notion of fairness. However, the task of explicitly modelling fairness constraints is complicated in practice...
212
click to vote
COMPSAC
1997
IEEE
15 years 12 months ago
1997
IEEE
Despite recent developments in formal methods, formal methods have yet to enter the mainstream of software industry. In this paper, we first examine the pragmatic obstacles of ma...
184
click to vote
IUI
1997
ACM
15 years 12 months ago
1997
ACM
We are developing an Intelligent Network News Reader which extracts news articles for users. In contrast to ordinary information retrieval and abstract generation, this method uti...