3909 search results - page 254 / 782 » Extreme Model Checking |
140
Voted
ISDA
2009
IEEE
15 years 10 months ago
2009
IEEE
Educational process mining (EPM) aims at (i) constructing complete and compact educational process models that are able to reproduce all observed behavior (process model discovery...
150
click to vote
IWFM
2000
15 years 4 months ago
2000
ct Increasingly, model checking is being applied to more abstract problem domains than the traditional protocol analysis. The extent to which such an approach is able to provide us...
142
click to vote
KBSE
2008
IEEE
15 years 9 months ago
2008
IEEE
Flash memory has become virtually indispensable in most mobile devices. In order for mobile devices to successfully provide services to users, it is essential that flash memory b...
232
click to vote
SP
2006
IEEE
15 years 9 months ago
2006
IEEE
Security concerns are becoming increasingly critical in networked systems. Firewalls provide important defense for network security. However, misconfigurations in firewalls are ...
170
click to vote
GG
2008
Springer
15 years 4 months ago
2008
Springer
Behavior preservation, namely the fact that the behavior of a model is not altered by the transformations, is a crucial property in refactoring. The most common approaches to behav...