21430 search results - page 478 / 4286 » Abstract Effective Models |
200
Voted
TABLEAUX
2009
Springer
16 years 1 months ago
2009
Springer
base types and disallows lambda abstractions and quantifiers. We show that this fragment has the finite model property and that satisfiability can be decided with a terminating ...
177
click to vote
ASM
2005
ASM
16 years 12 days ago
2005
ASM
In this paper we present a modeling technique for security protocols using Abstract State Machines [BS03,Gur95] (ASMs). We describe how we model the different agents in the scenar...
156
Voted
CAISE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Business-driven development favors the construction of process modifferent abstraction levels and by different people. As a consequence, there is a demand for consolidati...
155
click to vote
ECTEL
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Educational systems that model the user enable personalisation. Systems that open the model to the user to prompt reflection are increasingly common. These often offer a ...
232
Voted
LCN
2008
IEEE
16 years 1 months ago
2008
IEEE
—Carrier Sense Multiple Access (CSMA) protocols in Multi-hop Wireless Networks (MHWN) are known to suffer from different forms of the hidden and exposed terminal problems, leadin...