10263 search results - page 216 / 2053 » From Use Cases to System Operation Specifications |
184
click to vote
ITS
2004
Springer
16 years 17 days ago
2004
Springer
The need for rapid and cost-effective development Intelligent Tutoring Systems with flexible pedagogical approaches has led to a demand for authoring tools. The authoring systems ...
213
click to vote
IPPS
2005
IEEE
16 years 23 days ago
2005
IEEE
Computational biology research is now faced with the burgeoning number of genome data. The rigorous postprocessing of this data requires an increased role for high performance com...
192
click to vote
ISVLSI
2005
IEEE
16 years 23 days ago
2005
IEEE
In this paper, we introduce a novel context sensitive system design paradigm. Multiple sensors/ computational architecture, in the form of our eWatch device, is used to infer the ...
216
click to vote
TPHOL
1998
IEEE
15 years 11 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...
217
click to vote
ESEC
1993
Springer
15 years 11 months ago
1993
Springer
We report the results of a survey about the software faults encountered during the testing phases in evolving a large real-time system. The survey was done in two parts: the rst pa...