Sciweavers

6650 search results - page 25 / 1330
» models 2009
Sort
View
ERLANG
2009
ACM
16 years 3 days ago
Recent improvements to the McErlang model checker
Clara Benac Earle, Lars-Åke Fredlund
129
Voted
MOBILWARE
2009
ACM
16 years 3 days ago
Building a Personal Symbolic Space Model from GSM CellID Positioning Data
Filipe Meneses, Adriano J. C. Moreira
SACMAT
2009
ACM
16 years 3 days ago
Extending access control models with break-glass
Achim D. Brucker, Helmut Petritsch