2748 search results - page 511 / 550 » Generating Object-Z Specifications from Use Cases |
CHI
2006
ACM
16 years 6 days ago
2006
ACM
Despite its widespread use, voicemail presents numerous usability challenges: People must listen to messages in their entirety, they cannot search by keywords, and audio files do ...
104
click to vote
MOBISYS
2007
ACM
15 years 11 months ago
2007
ACM
Provenance becomes a critical requirement for healthcare IT infrastructures, especially when pervasive biomedical sensors act as a source of raw medical streams for large-scale, a...
100
click to vote
ISSTA
2006
ACM
15 years 5 months ago
2006
ACM
This paper addresses issues involved when an architect explore alternative designs including non-functional requirements; in our approach, non-functional requirements are expresse...
ICITA
2005
IEEE
15 years 5 months ago
2005
IEEE
Many efforts in past years have been made to lower the linguistic barriers for non-native English speakers to access the Internet. IDNA [2] focuses on access to Internationalized ...
107
click to vote
USENIX
2000
15 years 1 months ago
2000
Traditional file system development is difficult. Stackable file systems promise to ease the development of file systems by offering a mechanism for incremental development. Unfor...