353 search results - page 33 / 71 » Design of a scalable network programming framework |
VSTTE
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
The knowledge required to develop complex software has historically existed in programming folklore, the heads of experienced developers, or buried deep in the code. These locatio...
KBSE
2005
IEEE
14 years 1 months ago
2005
IEEE
Intrusion detection systems are distributed applications that analyze the events in a networked system to identify malicious behavior. The analysis is performed using a number of ...
CORR
2006
Springer
13 years 7 months ago
2006
Springer
This paper presents the design of an associative memory with feedback that is capable of on-line temporal sequence learning. A framework for on-line sequence learning has been prop...
PEWASUN
2005
ACM
14 years 1 months ago
2005
ACM
Scalability issues for routing in mobile ad hoc networks (MANETs) have been typically addressed using hybrid routing schemes operating in a hierarchical network architecture. Seve...