788 search results - page 34 / 158 » Design and use of a system-level specification and verificat... |
182
click to vote
SIGSOFT
2003
ACM
15 years 11 months ago
2003
ACM
This paper presents PLUTO, a simple and intuitive methodology to manage the testing process of product lines, described as Product Lines Use Cases (PLUCs). PLUCs are an extension ...
148
click to vote
ECBS
1996
IEEE
15 years 10 months ago
1996
IEEE
It is widely recognized that real-time,fault-tolerant and distributed computing technologies play a key role in the deployment of many current andfuture (civilian or Defense) crit...
156
click to vote
NAACL
1994
15 years 7 months ago
1994
The goal of Information Extraction tasks is to identify, categorize, classify, relate, and normalize specific information of interest found in free text, and to make that informat...
145
click to vote
LREC
2008
15 years 7 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...
162
click to vote
ICSE
2008
IEEE-ACM
16 years 6 months ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...