Sciweavers

3130 search results - page 239 / 626
» Collusion without communication
Sort
View
AIME
2007
Springer
15 years 10 months ago
Analyzing Differences in Operational Disease Definitions Using Ontological Modeling
Abstract. In medicine, there are many diseases which cannot be precisely characterized but are considered as natural kinds. In the communication between health care professionals, ...
Linda Peelen, Michel C. A. Klein, Stefan Schlobach...
APSEC
2007
IEEE
15 years 10 months ago
Realizability of Collaboration-based Service Specifications
This paper is concerned with compositional specification of services using UML 2 collaborations, activity and interaction diagrams. It addresses the problem of realizability: give...
Humberto Nicolás Castejón, Rolv Br&a...
ATVA
2007
Springer
134views Hardware» more  ATVA 2007»
15 years 10 months ago
Formal Modeling and Verification of High-Availability Protocol for Network Security Appliances
One of the prerequisites for information society is secure and reliable communication among computing systems. Accordingly, network security appliances become key components of inf...
Moonzoo Kim
PODC
2010
ACM
15 years 10 months ago
Brief announcement: on enhancing concurrency in distributed transactional memory
Distributed transactional memory (TM) models based on globally-consistent contention management policies may abort many transactions that could potentially commit without violatin...
Bo Zhang, Binoy Ravindran
AINA
2006
IEEE
15 years 10 months ago
BPB: A method for transparently obtaining network path characteristics close to the sender
Due to the growth of unresponsive UDP traffic in the Internet, it becomes increasingly important for ISPs to amply shape the traffic that leaves their network. Ideally, flows shou...
Sven Hessler, Jean-Alexander Müller, Michael ...