1890 search results - page 113 / 378 » Model-Based Testing in Practice |
164
click to vote
CVHI
2007
15 years 7 months ago
2007
: The paper addresses the experience of Estonia in strengthening democracy through the use of information and communication technologies (ICT) to bring decision-making closer to th...
103
click to vote
TIS
1998
15 years 6 months ago
1998
The Principles of Fair Information Practice are almost three decades old and need to be broadened to take account of new technologies for collecting personal information such as d...
136
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
— A new sub-space max-monomial modeling scheme for CMOS transistors in sub-micron technologies is proposed to improve the modeling accuracy. Major electrical parameters of CMOS...
142
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
—The admission control problem is concerned with determining whether a new task may be accepted by a system consisting of a set of running tasks, such that the already admitted a...
165
click to vote
LICS
2005
IEEE
15 years 12 months ago
2005
IEEE
The universal Horn theory of relational Kleene algebra with tests (RKAT) is of practical interest, particularly for program semantics. We develop an (infinitary) proof system, ba...