1585 search results - page 214 / 317 » A framework for computer-aided validation |
129
click to vote
WWW
2007
ACM
16 years 4 months ago
2007
ACM
Traffic classification is the ability to identify and categorize network traffic by application type. In this paper, we consider the problem of traffic classification in the netwo...
132
Voted
WWW
2005
ACM
16 years 4 months ago
2005
ACM
Portlets (i.e. multi-step, user-facing applications to be syndicated within a portal) are currently supported by most portal frameworks. However, there is not yet a definitive ans...
146
click to vote
WWW
2004
ACM
16 years 4 months ago
2004
ACM
In this paper we describe a practical framework for studying the navigational behavior of the users of an e-learning environment integrated in a virtual campus. The students navig...
115
Voted
WWW
2004
ACM
16 years 4 months ago
2004
ACM
The goal is to build a general framework for ad hoc applications over large networks using semantics and complex systems analysis. The first part deals with semantics because appl...
121
click to vote
WWW
2003
ACM
16 years 4 months ago
2003
ACM
Content Extraction Signatures (CES) enable selective disclosure of verifiable content, provide privacy for blinded content, and enable the signer to specify the content the docume...