10568 search results - page 768 / 2114 » Computer Intelligence and Formalization |
224
click to vote
SEW
2006
IEEE
16 years 1 months ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
186
click to vote
INTERSENSE
2006
ACM
16 years 1 months ago
2006
ACM
—We present a methodology based on physics laws and particles in order to represent, simulate, and architect advanced networking models. We introduce a mathematical formalism wit...
200
click to vote
WMTE
2005
IEEE
16 years 1 months ago
2005
IEEE
In this paper we report early findings from a sample of Australian participants using Nokia’s Lifeblog software on mobile phones to record aspects of living and learning in both...
169
click to vote
KCAP
2005
ACM
16 years 1 months ago
2005
ACM
Among the variety of alignment approaches (e.g., using machine learning, subsumption computation, formal concept analysis, etc.) similarity-based ones rely on a quantitative asses...
261
click to vote
ICTAC
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. Role-based access control (RBAC) is recognized as an excellent model for access control in large-scale networked applications. Formalization of RBAC in a logical approach...