4098 search results - page 185 / 820 » Sound mobility models |
128
click to vote
ENTCS
2007
15 years 4 months ago
2007
Multi-algebras allow to model nondeterminism in an algebraic framework by interpreting operators as functions from individual arguments to sets of possible results. We propose a s...
129
click to vote
FOIS
2010
15 years 5 months ago
2010
In a series of publications, we have employed ontological theories and principles used to evaluate and improve the quality of conceptual modeling grammars and models. In this artic...
152
click to vote
SPLC
2010
15 years 2 months ago
2010
Abstract. Feature modeling is a technique for capturing commonality and variability. Feature models symbolize a representation of the possible application configuration space, and ...
150
click to vote
ACMSE
2005
ACM
15 years 6 months ago
2005
ACM
The popularity of mobile devices has propelled the development of many useful location-aware applications. However, the heterogeneity of mobile devices necessitates that the softw...
143
click to vote
IEEEARES
2008
IEEE
15 years 10 months ago
2008
IEEE
The Security-by-Contract (S×C) framework has been recently proposed to address the trust relationship problem of the current security model adopted for mobile devices. The key id...