1634 search results - page 234 / 327 » Reasoning about Knowledge Using Rough Sets |
141
click to vote
ENTCS
2006
15 years 4 months ago
2006
Temporal logics are well suited for the specification and verification of systems of communicating agents. In this paper we adopt a social approach to agent communication, where c...
107
click to vote
IWPC
2008
IEEE
15 years 11 months ago
2008
IEEE
Libraries are the most widespreaded form of software reuse. In order to properly use a library API, its clients should fulfill a series of (many times implicit) assumptions made ...
152
click to vote
IMCS
2007
15 years 4 months ago
2007
Setting up runtime security policies as required for firewalls or as envisioned by policy languages for the Semantic Web is a difficult task, especially for lay users who have l...
130
click to vote
GECCO
2003
Springer
15 years 9 months ago
2003
Springer
The MasterMind game involves decoding a secret code. The classic game is a code of six possible colors in four slots. The game has been analyzed and optimal strategies have been po...
147
click to vote
SAINT
2005
IEEE
15 years 10 months ago
2005
IEEE
The Mobile Internet scenario encourages the design and development of context-aware applications that provide results depending on context information, such as the relative positi...