6047 search results - page 315 / 1210 » Modeling with Extend |
130
click to vote
COORDINATION
2009
Springer
16 years 5 months ago
2009
Springer
In protocol development for wireless systems, the choice of appropriate mobility models describing the movement patterns of devices has long been recognised as a crucial factor for...
155
click to vote
ENTCS
2007
15 years 4 months ago
2007
Bounded Model Checking (BMC) is one of the most paradigmatic practical applications of Boolean Satisfiability (SAT). The utilization of SAT in model checking has allowed signifi...
150
click to vote
PLILP
1998
Springer
15 years 8 months ago
1998
Springer
We report on the current status of the LMC project, which seeks to deploy the latest developments in logic-programming technology to advance the state of the art of system speci ca...
158
click to vote
ECIR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Social tagging systems provide methods for users to categorise resources using their own choice of keywords (or "tags") without being bound to a restrictive set...
132
click to vote
SCN
2010
Springer
15 years 3 months ago
2010
Springer
The Canetti–Krawczyk (CK) and extended Canetti–Krawczyk (eCK) security models, are widely used to provide security arguments for key agreement protocols. We discuss security s...