Sciweavers

3155 search results - page 258 / 631
» How Are You Doing
Sort
View
DALT
2006
Springer
14 years 1 months ago
Dynamic Model Checking for Multi-agent Systems
Abstract. This paper is concerned with the problem of obtaining predictable interactions between groups of agents in open environments when individual agents do not expose their bd...
Nardine Osman, David Robertson, Christopher Walton
ECTEL
2006
Springer
14 years 1 months ago
Who Needs "Blended Learning"? Some Thoughts on a Political Concept
The paper covers the topic from an e-learning provider's perspective on the basis of practical experience and discussions with corporate and SME partners. In this paper the au...
Ray Mary Rosdale
ERCIMDL
2006
Springer
131views Education» more  ERCIMDL 2006»
14 years 1 months ago
Repository Replication Using NNTP and SMTP
We present the results of a feasibility study using shared, existing, network-accessible infrastructure for repository replication. We utilize the SMTP and NNTP protocols to replic...
Joan A. Smith, Martin Klein, Michael L. Nelson
FSTTCS
2006
Springer
14 years 1 months ago
Testing Probabilistic Equivalence Through Reinforcement Learning
We propose a new approach to verification of probabilistic processes for which the model may not be available. We use a technique from Reinforcement Learning to approximate how far...
Josee Desharnais, François Laviolette, Sami...
UML
2000
Springer
14 years 1 months ago
From Use Cases to System Operation Specifications
The purpose of this paper is to first showcase the concept of an operation schema--a precise form of system-level operation specification--and secondly show how operation schemas e...
Shane Sendall, Alfred Strohmeier