7820 search results - page 1451 / 1564 » Formalization of Time and Space |
204
click to vote
LWA
2004
15 years 7 months ago
2004
In this paper we present a flexible assessment framework for eLearning based on semantic web technologies. The assessment techniques are formalized as reasoning rules. These rules...
208
click to vote
MASCOTS
2004
15 years 7 months ago
2004
Architectural designs for routers and networks of routers to support mobile communication are analysed for their end-to-end performance using a simple Markov model. In view of the...
178
click to vote
LISA
2003
15 years 7 months ago
2003
Auditing a web siteās content is an arduous task. For any given page on a web server, system administrators are often ill-equipped to determine who created the document, why itā...
188
click to vote
AIPS
2000
15 years 7 months ago
2000
1 We consider the problem of scheduling an unknown sequence of tasks for a single server as the tasks arrive with the goal off maximizing the total weighted value of the tasks serv...
175
click to vote
DSL
1997
15 years 7 months ago
1997
In this paper we describe our experience with Teapot [7], a domain-speciļ¬c language for writing cache coherence protocols. Cache coherence is of concern when parallel and distrib...