8154 search results - page 180 / 1631 » Understanding changes in use cases: A case study |
163
click to vote
TPHOL
1998
IEEE
15 years 9 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
153
click to vote
CAV
1998
Springer
15 years 9 months ago
1998
Springer
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...
140
click to vote
VISUALIZATION
1994
IEEE
15 years 8 months ago
1994
IEEE
Augmented reality systems with see-through headmounted displays have been used primarily for applications that are possible with today's computational capabilities. We explor...
143
click to vote
EEE
2004
IEEE
15 years 8 months ago
2004
IEEE
e-Transformation technologies, for the past few years, have been evolving towards the goal of information integration and system interoperability. While there is no doubt that int...
172
Voted
DILS
2006
Springer
15 years 8 months ago
2006
Springer
Linking the biomedical literature to other data resources is notoriously difficult and requires text mining. Text mining aims to automatically extract facts from literature. Since ...