4767 search results - page 372 / 954 » Moving between Contexts |
180
click to vote
QSIC
2003
IEEE
16 years 5 days ago
2003
IEEE
Algebraic testing is an automated software testing method based on algebraic formal specifications. It tests if a program correctly implements an algebraic specification by checki...
140
click to vote
HT
2003
ACM
16 years 4 days ago
2003
ACM
In this paper, we explore the differences between the Adaptive Hypermedia and IMS Simple Sequencing approaches. Both approaches provide learning material tailored for the learnerâ...
195
click to vote
ECML
2003
Springer
16 years 3 days ago
2003
Springer
Abstract. This paper explores the use of initial Stochastic Context-Free Grammars (SCFG) obtained from a treebank corpus for the learning of SCFG by means of estimation algorithms....
160
click to vote
EGOV
2003
Springer
16 years 3 days ago
2003
Springer
E-government in South Africa has a particularly important historical and social context due to the legacy of apartheid. As a result, a ten year egovernment implementation horizon h...
160
click to vote
ICSE
2010
IEEE-ACM
15 years 11 months ago
2010
IEEE-ACM
The architecture of software systems is known to decay if no counter-measures are taken. In order to prevent this architectural erosion, the conformance of the actual system archi...