7529 search results - page 189 / 1506 » The Modula-3 Type System |
181
click to vote
CIE
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. In [She82], it is shown that four of its basic functional properties are enough to characterize plain Kolmogorov complexity, hence obtaining an axiomatic characterization...
187
Voted
JCSC
1998
15 years 5 months ago
1998
For many years, Petri nets have been used for modeling the behavior of various types of concurrent systems. While these net models are especially well suited to capture the behavi...
159
Voted
PSYCHNOLOGY
2008
15 years 5 months ago
2008
This article presents a case study of the user interface design of a grid (energy) management system. The theoretical backdrop of the case study is cognitive engineering, with its...
158
Voted
ICFEM
2010
Springer
15 years 4 months ago
2010
Springer
This paper compares six model checkers (Alloy, cadp, fdr2, NuSMV, ProB, Spin) for the validation of information system specifications. The same case study (a library system) is s...
176
Voted
TSMC
2002
15 years 5 months ago
2002
Abstract--This paper presents a new nonlinear adaptive tracking controller for a class of general time-variant nonlinear systems. The control system consists of an inner loop and a...