2245 search results - page 212 / 449 » A Case Study Implementing Features Using AspectJ |
139
click to vote
ICSE
2000
IEEE-ACM
15 years 9 months ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...
168
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: With the rapid development of new genetic measurement methods, several types of genetic alterations can be quantified in a high-throughput manner. While the initial fo...
173
click to vote
PARA
2004
Springer
15 years 11 months ago
2004
Springer
GRID Application development is a hard task. Good applications should correctly use large distributed systems, whose infrastructure heavily affects the application performance. In ...
159
Voted
ICFEM
2010
Springer
15 years 4 months ago
2010
Springer
This paper compares six model checkers (Alloy, cadp, fdr2, NuSMV, ProB, Spin) for the validation of information system specifications. The same case study (a library system) is s...
164
click to vote
VIZSEC
2007
Springer
16 years 10 days ago
2007
Springer
This paper describes Isis, a system that uses progressive multiples of timelines and event plots to support the iterative investigation of intrusions by experienced analysts using ...