154 search results - page 10 / 31 » Web Interfaces for Proof Assistants |
IAT
2009
IEEE
13 years 5 months ago
2009
IEEE
-- Given the overwhelming information appearing in the current web environment, recommendations have been increasingly applied to assist users in handling with the information over...
ESWS
2004
Springer
14 years 24 days ago
2004
Springer
The next Web generation promises to deliver Semantic Web Services (SWS); services that are self-described and amenable to automated discovery, composition and invocation. A prerequ...
SWAP
2008
13 years 8 months ago
2008
Dynamic composition of web services requires an automated step of contracting, i.e., the computation of a possibly fruitful interaction between two (or more) services, based on the...
ISW
2005
Springer
14 years 27 days ago
2005
Springer
Abstract. We present gore, a routing-assisted defense architecture against distributed denial of service (DDoS) attacks that provides guaranteed levels of access to a network under...
W4A
2004
ACM
14 years 25 days ago
2004
ACM
Specifications for accessibility of Web page do not necessarily guarantee a usable or satisfying Web experience for persons with disabilities. The needs of many of these individua...