10038 search results - page 1850 / 2008 » Model Checking for Managers |
145
click to vote
CCIA
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. This paper presents J-MADeM, a new market-based multi-agent approach devoted to perform social simulations with BDI agents. J-MADeM is available as an open-source library...
145
Voted
DBSEC
2009
15 years 5 months ago
2009
Reflective Database Access Control (RDBAC) is a model in which a database privilege is expressed as a database query itself, rather than as a static privilege in an access control ...
125
Voted
HPDC
2010
IEEE
15 years 5 months ago
2010
IEEE
Quality of data plays a very important role in any scientific research. In this paper we present some of the challenges that we face in managing and maintaining data quality for a...
156
click to vote
EICS
2010
ACM
15 years 4 months ago
2010
ACM
Component-based software engineering is a paradigm aiming at better ways to reuse existing code and to distribute work across teams. Integrating UI components developed with diffe...
143
click to vote
RECSYS
2010
ACM
15 years 4 months ago
2010
ACM
An increasing number of social networking platforms are giving users the option to endorse entities that they find appealing, such as videos, photos, or even other users. We defin...