10263 search results - page 1821 / 2053 » From Use Cases to System Operation Specifications |
197
Voted
TRIER
2002
15 years 5 months ago
2002
It is known that interprocedural detection of copy constants and elimination of faint code in parallel programs are undecidable problems, if base statements are assumed to execute...
187
click to vote
WOSP
2005
ACM
15 years 11 months ago
2005
ACM
Software performance based on performance models can be applied at early phases of the software development cycle to characterize the quantitative behavior of software systems. We...
184
click to vote
ISDA
2008
IEEE
16 years 18 days ago
2008
IEEE
Gene network reconstruction is a multidisciplinary research area involving data mining, machine learning, statistics, ontologies and others. Reconstructed gene network allows us t...
159
click to vote
HASKELL
2006
ACM
16 years 5 days ago
2006
ACM
We propose a development methodology for designing and prototyping high assurance microkernels, and describe our application of it. The methodology is based on rapid prototyping a...
188
click to vote
WECWIS
2003
IEEE
15 years 11 months ago
2003
IEEE
The rapid growth of the World Wide Web and the Internet has fueled interest in Web services and the Semantic Web, which are quickly becoming important parts of modern electronic c...