154 search results - page 10 / 31 » Web Interfaces for Proof Assistants |
IAT
2009
IEEE
14 years 7 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...
84
Voted
ESWS
2004
Springer
15 years 2 months 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
14 years 11 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...
103
Voted
ISW
2005
Springer
15 years 3 months 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...
74
Voted
W4A
2004
ACM
15 years 2 months 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...