3909 search results - page 283 / 782 » Extreme Model Checking |
157
click to vote
APSEC
2005
IEEE
16 years 8 days ago
2005
IEEE
We report on a case study in which the Maude model checker has been used to analyze the Suzuki-Kasami distributed mutual exclusion algorithm with respect to the mutual exclusion p...
185
click to vote
APCCM
2009
15 years 7 months ago
2009
In life science, deeper understanding of biomolecular systems is acquired by computational modeling and analysis. For the modeling of several kinds of reaction networks, e.g. sign...
204
click to vote
IJSI
2008
15 years 6 months ago
2008
In this paper, we demonstrate the use of qualitative spatial modelling as the foundation for the conceptual representation of route instructions, to enable robust humanrobot intera...
164
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
Informal analysis of many usability tests suggests that there is regularly one participant that is substantially slower than all the others. Moreover, such outliers are more extre...
154
Voted
ISCAS
2002
IEEE
15 years 11 months ago
2002
IEEE
With single-electron tunneling (SET) technology it is possible to build electronic circuits with extreme low power properties. These SET circuits must therefore operate in the sin...