630 search results - page 29 / 126 » The Future Is Not Assured - But It Should Be |
104
Voted
COMPSAC
1999
IEEE
15 years 6 months ago
1999
IEEE
The use of formal methods has been growing steadily and there have been a number of successful applications of formal methods in a range of application areas. It seems agreed that...
111
Voted
MOBIDE
1999
ACM
15 years 6 months ago
1999
ACM
Mobile applications increasingly require transaction-like properties, particularly those of recovery. Because there is a lack of abstractions to decompose the machinery of recover...
139
click to vote
CAISE
1997
Springer
15 years 6 months ago
1997
Springer
Abstract: Traceability is a prerequisite for managing the evolution of (software) systems. Assuring overall traceability of a system development process, i.e., capturing and interr...
94
Voted
LREC
2008
15 years 3 months ago
2008
In this paper we share our experience and describe the methodologies that we have used in designing and recording large speech databases for applications requiring speech synthesi...
ACE
2003
15 years 3 months ago
2003
Groupwork has a large and important role in computer science courses. Moreover, groupwork skills are among the most important generic attributes students should develop during the...