1021 search results - page 149 / 205 » Concepts in Proof Planning |
CCS
2008
ACM
13 years 11 months ago
2008
ACM
The standard solution for user authentication on the Web is to establish a TLS-based secure channel in server authenticated mode and run a protocol on top of TLS where the user en...
CDC
2008
IEEE
13 years 11 months ago
2008
IEEE
Abstract-- This paper studies distributed coordination algorithms for multiple fractional-order systems over a directed communication graph. A general fractional-order consensus mo...
ECLIPSE
2005
ACM
13 years 11 months ago
2005
ACM
While Eclipse has greatly simplified the task of creating integrated development environments, creating a full-featured IDE can still take years. Fortunately, for a large categor...
CONEXT
2008
ACM
13 years 10 months ago
2008
ACM
Distributed Denial of Service (DDoS) attack mitigation systems usually generate a list of filter rules in order to block malicious traffic. In contrast to this binary decision we ...
IESA
2007
13 years 10 months ago
2007
In this paper a methodology is presented to generate webforms for business documents directly from XML schemas. XML Schemas that are based on the UN/CEFACT Naming and Design Rules ...