Sciweavers

2414 search results - page 316 / 483
» Reasoning Support for OWL-E
Sort
View
QUATIC
2007
IEEE
16 years 1 months ago
A Nationwide Program for Software Process Improvement in Brazil
Continuous improvement of software development capability is fundamental for organizations to thrive in competitive markets. Nevertheless, Software Process Improvement (SPI) imple...
Ana Regina Cavalcanti da Rocha, Mariano Montoni, K...
SIES
2007
IEEE
16 years 1 months ago
Protocol Modelling Semantics for Embedded Systems
The properties of a domain oriented modelling approach or language are determined by the dominant semantics of the domain. A significant subclass that needs particular attention,...
Ashley T. McNeile, Ella E. Roubtsova
ACII
2007
Springer
16 years 1 months ago
Early Prediction of Student Frustration
Affective reasoning has been the subject of increasing attention in recent years. Because negative affective states such as frustration and anxiety can impede progress toward learn...
Scott W. McQuiggan, Sunyoung Lee, James C. Lester
AOSE
2007
Springer
16 years 1 months ago
Open Agent Systems???
Abstract. E-institutions are envisioned as facilities on the Internet for heterogeneous software agents to perform their interactions and thus forming truly open agent systems. We ...
Frank Dignum, Virginia Dignum, John Thangarajah, L...
CALCO
2007
Springer
86views Mathematics» more  CALCO 2007»
16 years 1 months ago
Bootstrapping Types and Cotypes in HasCASL
We discuss the treatment of initial datatypes and final process types in the wide-spectrum language HasCASL. In particular, we present specifications that illustrate how datatype...
Lutz Schröder