5630 search results - page 986 / 1126 » Computability in Specification |
135
click to vote
RAID
1999
Springer
15 years 9 months ago
1999
Springer
In order to present large-scale malicious attacks on an ISP network to maintain network services, we have designed a method to record key packets classified by sessions. Session i...
146
click to vote
IPPS
1998
IEEE
15 years 9 months ago
1998
IEEE
With aggressive superscalar processors delivering diminishing returns, alternate designs that make good use of the increasing chip densities are actively being explored. One such ...
151
click to vote
ECOOPW
1998
Springer
15 years 9 months ago
1998
Springer
This paper explains the structure of a project repository, which enables you to trace business processes and business rules to the architecture and design of the software system. T...
165
Voted
HYBRID
1998
Springer
15 years 9 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
161
click to vote
SMILE
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. We present some recent progress in designing and implementing two interactive image-based 3D modeling systems. The first system constructs 3D models from a collection of ...