1816 search results - page 155 / 364 » Formal Concepts of Learning Systems Validation in Use |
157
click to vote
OTM
2004
Springer
15 years 11 months ago
2004
Springer
To achieve sharing and reuse for sustainable development, documents are semantically interrelated by ontologies, specified formally using the specification language Casl. The spe...
131
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract--This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools wher...
184
click to vote
ICFEM
2009
Springer
16 years 1 months ago
2009
Springer
Internet protocols encapsulate a significant amount of state, making implementing the host software complex. In this paper, we define the Statecall Policy Language (SPL) which pr...
155
click to vote
ICSM
2005
IEEE
16 years 17 hour ago
2005
IEEE
In the work presented here, we introduce a method to automatically generate a subset of a UML class model based on a user-defined criterion. The goal of this work is to allow us to...
176
click to vote
WIKIS
2009
ACM
15 years 11 months ago
2009
ACM
Learning “the wiki way”, learning through wikis is a form of selfregulated learning that is independent of formal learning settings and takes place in a community of knowledge...