1781 search results - page 233 / 357 » An Emerging Need for a New Software Engineering Method |
180
click to vote
EMSOFT
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Advances in VLSI technology have lead to a tremendous increase in the density and number of devices that can be manufactured in a single microchip. One of the interesting...
193
click to vote
AUIC
2000
IEEE
15 years 11 months ago
2000
IEEE
The potential of the Web, via both the Internet and intranets, to facilitate development of clinical information systems has been evident for some time. Most Web-based clinical wo...
178
click to vote
UIST
2000
ACM
15 years 11 months ago
2000
ACM
Because of its promise of natural interaction, recognition is coming into its own as a mainstream technology for use with computers. Both commercial and research applications are ...
166
click to vote
WACC
1999
ACM
15 years 11 months ago
1999
ACM
Today, organizations deal with an ever-increasing number of documents that have to be archived because they are either related to their core business (e.g., product designs) or ne...
252
click to vote
B
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...