642 search results - page 64 / 129 » Roles Versus Classes |
157
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
We take a fresh look at the logics of informational dependence and independence of Hintikka and Sandu and V¨a¨an¨anen, and their compositional semantics due to Hodges. We show h...
126
click to vote
LOCA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. There is increasing interest in location-aware systems and applications. It is important for any designer of such systems and applications to understand the nature of use...
167
click to vote
WCRE
2009
IEEE
15 years 11 months ago
2009
IEEE
—Object-oriented software quality models usually use metrics of classes and of relationships among classes to assess the quality of systems. However, software quality does not de...
154
click to vote
DBSEC
2004
15 years 5 months ago
2004
In software construction, analysis investigates the boundary of a system (scope and requirements), its usage and access, and from a security perspective, who needs access to what ...
133
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
In this paper we introduce a novel flow representation for finite games in strategic form. This representation allows us to develop a canonical direct sum decomposition of an arbi...