4356 search results - page 554 / 872 » Communicating Transactions - (Extended Abstract) |
162
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
We describe a substructural logic with ordered, linear, and persistent propositions and then endow a fragment with a committed choice forward-chaining operational interpretation. ...
172
click to vote
AGS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The importance of affect in delivering engaging experiences in entertainment and education is well recognized. We introduce the Koko architecture, which describes a servi...
175
Voted
DSOM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Nowadays, network load is constantly increasing and high-speed infrastructures (1-10Gbps) are becoming increasingly common. In this context, flow-based intrusion detecti...
174
click to vote
ESWS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Finding the optimal selection of an OWL reasoner and service interface for a specific ontology-based application is challenging. Over time it has become more and more di...
143
click to vote
FC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Tor is currently one of the more popular systems for anonymizing near real-time communications on the Internet. Recently, Borisov et al. proposed a denial of service base...