10263 search results - page 358 / 2053 » From Use Cases to System Operation Specifications |
212
click to vote
CPHYSICS
2010
15 years 5 months ago
2010
We present TFORM, the version of the symbolic manipulation system FORM that can make simultaneous use of several processors in a shared memory architecture. The implementation use...
205
click to vote
STEP
2003
IEEE
16 years 25 days ago
2003
IEEE
The reengineering of legacy software systems to modern Object Oriented platforms has received significant attention over the past few years. However, most often the reengineering ...
332
Voted
ICFP
2009
ACM
16 years 8 months ago
2009
ACM
We report on our experience using Haskell as an executable specification language in the formal verification of the seL4 microkernel. fication connects an abstract operational spe...
243
click to vote
ICCBR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Case-Based Reasoning (CBR) solves problems by reusing past problemsolving experiences maintained in a casebase. The key CBR knowledge container therefore is its casebase....
200
Voted
LISA
2007
15 years 10 months ago
2007
Computer and network administrators are often confused or uncertain about the behavior of their networks. Traditional analysis using IP ports, addresses, and protocols are insuffi...