4983 search results - page 158 / 997 » order 2008 |
147
click to vote
FUIN
2008
15 years 4 months ago
2008
The aim of the work is twofold. In order to face the problem of modeling time constraints in Promela, a timed extension of the language is presented. Next, timed Promela is transla...
129
click to vote
IEE
2008
15 years 4 months ago
2008
: A simple and practical technique for assessing the risks, that is, the potential for error, and consequent loss, in software system development, acquired during a requirements en...
116
click to vote
CPC
2006
15 years 4 months ago
2006
For any partition of {1, 2, . . . , n} we define its increments Xi, 1 i n by Xi = 1 if i is the smallest element in the partition block that contains it, Xi = 0 otherwise. We pr...
138
click to vote
CSCL
2006
15 years 4 months ago
2006
This paper reviews the literature linking information and communications technology (ICT) to teaching thinking skills and advocates a dialogic framework which has implications for ...
110
click to vote
CSDA
2006
15 years 4 months ago
2006
Most dimension reduction techniques produce ordered coordinates so that only the first few coordinates need be considered in subsequent analyses. The choice of how many coordinate...