Sciweavers

1769 search results - page 147 / 354
» An implementation of argument based discussion
Sort
View
FDL
2004
IEEE
15 years 10 months ago
Reuse of SML module system for the B language
In this paper, we are concerned with studying the semantic of the B modularity. We reuse the Harper-Lillibridge-Leroy (HLL) module system. This system implements an SML like module...
Dorian Petit, Vincent Poirriez, Georges Mariano
EDBTW
2006
Springer
15 years 10 months ago
Event-Condition-Action Rule Languages for the Semantic Web
Abstract. The Semantic Web is based on XML and RDF as its fundamental standards for exchanging and storing information on the World Wide Web. Event-condition-action (ECA) rules are...
Alexandra Poulovassilis, George Papamarkos, Peter ...
WSC
2007
15 years 8 months ago
A trace-based visual inspection technique to detect errors in simulation models
Generation of traces from a simulation model and their analysis is a powerful and common mean to debug simulation models. In this paper, we define a measure of progress for simul...
Peter Kemper
BCSHCI
2008
15 years 8 months ago
Why an emergency alert system isn't adopted: the impact of socio-technical context
The purpose of this study is to understand the laggard adoption of an SMS-based emergency alert system on a university campus. Based on findings from in-depth interviews and a foc...
Philip Fei Wu, Yan Qu, Jennifer J. Preece
ESANN
2007
15 years 8 months ago
Several ways to solve the MSO problem
The so called MSO-problem, – a simple superposition of two or more sinusoidal waves –, has recently been discussed as a benchmark problem for reservoir computing and was shown ...
Jochen J. Steil