722 search results - page 74 / 145 » Development of Support Tool for NMR Spectrum Analysis |
IANDC
2008
13 years 10 months ago
2008
The main goal of this paper is to apply rewriting termination technology --enjoying a quite mature set of termination results and tools-- to the problem of proving automatically t...
EWSA
2004
Springer
14 years 4 months ago
2004
Springer
This paper gives an overview of the ArchWare European Project1 . The broad scope of ArchWare is to respond to the ever-present demand for software systems that are capable of accom...
ICRE
1998
IEEE
14 years 3 months ago
1998
IEEE
Systems requirements errors are numerous, persistent, and expensive. To detect such errors, and focus on critical ones during the development of a requirements document, we have d...
SIGCOMM
2003
ACM
14 years 4 months ago
2003
ACM
Launching a denial of service (DoS) attack is trivial, but detection and response is a painfully slow and often a manual process. Automatic classification of attacks as single- o...
CN
2004
13 years 10 months ago
2004
Launching a denial of service (DoS) attack is trivial, but detection and response is a painfully slow and often a manual process. Automatic classification of attacks as single- or...