Sciweavers

748 search results - page 85 / 150
» Mechanism design for abstract argumentation
Sort
View
USENIX
1994
13 years 11 months ago
SNP: An Interface for Secure Network Programming
SNP provides a high-level abstraction for secure end-toend network communications. It supports both stream and datagram semantics with security guarantees (e.g., data originauthen...
Thomas Y. C. Woo, Raghuram Bindignavle, Shaowen Su...
JUCS
2008
118views more  JUCS 2008»
13 years 10 months ago
Controlling Aspect Reentrancy
: Aspect languages provide different mechanisms to control when an aspect should apply based on properties of the execution context. They however fail to explicitly identify and cl...
Éric Tanter
JSAC
2010
77views more  JSAC 2010»
13 years 8 months ago
MMS: An autonomic network-layer foundation for network management
Abstract—Networks cannot be managed without communication among geographically distributed network devices and control agents. Unfortunately, computer networks today lack an auto...
Hemant Gogineni, Albert G. Greenberg, David A. Mal...
FUIN
2008
119views more  FUIN 2008»
13 years 10 months ago
Modeling Communication with Synchronized Environments
A deterministic behavior of systems composed of several modules is a desirable design goal. Assembling a complex system from components requires also a high degree of re-usability....
Tiberiu Seceleanu, Axel Jantsch
COMPUTER
2007
93views more  COMPUTER 2007»
13 years 10 months ago
The Computing Profession and Higher Education
not things, but abstractions that represent things. Data use provides human civilization’s foundation, and computers and other digital technologies have merely amplified this us...
W. Neville Holmes