5205 search results - page 876 / 1041 » Tilings and model theory |
169
click to vote
HICSS
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper presents a case study on the use of an alternative method of computer support to that normally used, one that uses voting as a tool for social rather than rational choi...
163
click to vote
UIST
1999
ACM
15 years 10 months ago
1999
ACM
We present experimental work which explores how the match (or mismatch) between the input space of the hands and the output space of a graphical display influences twohanded input...
187
click to vote
KBSE
1999
IEEE
15 years 10 months ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
174
click to vote
HASE
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper deals with verification of flow control in concurrent programs. We use Ada language model as reference. After translation of Ada programs into Petri nets (named Ada net...
152
click to vote
HASE
1998
IEEE
15 years 10 months ago
1998
IEEE
Residual defects is one of the most important factors that allow one to decide if a piece of software is ready to be released. In theory, one can find all the defects and count th...