2314 search results - page 38 / 463 » What's in a model |
WSC
2008
13 years 10 months ago
2008
The exchange of data between different models in a multisimulation environment is about the exchange of information from within the context of two separate worldviews. This amount...
CCS
2006
ACM
13 years 11 months ago
2006
ACM
Traditional security policies largely focus on access control requirements, which specify who can access what under what circumstances. Besides access control requirements, the av...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
A new generation of "behavior-aware" delay tolerant networks is emerging in what may define future mobile social
CAV
1998
Springer
13 years 12 months ago
1998
Springer
It has become good practice to expect authors of new model checking algorithms to provide not only rigorous evidence of the algorithms correctness, but also evidence of their pract...
IADIS
2004
13 years 9 months ago
2004
This paper is a report of some of the findings in a study of how and what women in computer science learn using the Internet for communication with other women. The focus of this ...