1436 search results - page 13 / 288 » Experiences with the use of MERODE in the development of a W... |
SOUPS
2009
ACM
14 years 2 months ago
2009
ACM
We introduce the notion of a conditioned-safe ceremony. A “ceremony” is similar to the conventional notion of a protocol, except that a ceremony explicitly includes human part...
TSE
2011
13 years 2 months ago
2011
—Event-Driven Software (EDS) can change state based on incoming events; common examples are GUI and web applications. These EDS pose a challenge to testing because there are a la...
BXML
2004
2004
Experiences Using Semantic Web Technologies to Realize an Information Retrieval System for Pathology
13 years 9 months ago
: Building the Semantic Web requires the use of powerful tools to create, manage and extend domain ontologies represented with Semantic Web languages. Though many tools have been a...
ITS
2004
Springer
14 years 27 days ago
2004
Springer
This research describes a probabilistic approach for developing predictive models of how students learn problem-solving skills in general qualitative chemistry. The goal is to use ...
ISORC
2008
IEEE
14 years 1 months ago
2008
IEEE
Grid computing has emerged as a new paradigm of distributed computing technology on large-scale resource sharing and coordinated problem solving. Based on a proposed Web service-b...