595 search results - page 6 / 119 » Session 7: Demonstrations |
PADL
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. A session type is an abstraction of a set of sequences of heterogeneous values sent and received over a communication channel. Session types can be used for specifying st...
ECOOP
2010
Springer
14 years 3 months ago
2010
Springer
Event-driven programming is a major paradigm in concurrent and communication-based programming, and a widely adopted approach to building scalable high-concurrency servers. However...
PAKDD
2004
ACM
14 years 4 months ago
2004
ACM
To gain access to account privileges, an intruder masquerades as the proper account user. This paper proposes a new strategy for detecting masquerades in a multiuser system. To det...
ICNS
2007
IEEE
14 years 5 months ago
2007
IEEE
—Application layer DDoS attacks, which are legitimate in packets and protocols, gradually become a pressing problem for commerce, politics and military. We build an attack model ...
ECOOP
2008
Springer
14 years 20 days ago
2008
Springer
This paper demonstrates the impact of integrating session types and object-oriented programming, through their implementation in Java. Seses provide high-level abstraction for stru...