3005 search results - page 211 / 601 » Logical Information Systems: from Taxonomies to Logics |
193
click to vote
INFOCOM
2006
IEEE
16 years 19 days ago
2006
IEEE
— Detecting coordinated attacks on Internet resources requires a distributed network monitoring infrastructure. Such an infrastructure will have two logically distinct elements: ...
159
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
One approach to moderating the expected behaviour of agents in open societies is the use of explicit languages for defining norms, conditional commitments and/or social expectation...
205
click to vote
SAINT
2008
IEEE
16 years 29 days ago
2008
IEEE
In the ubiquitous computing environment, we believe that P2P-based context-aware application utilizing sensing data is important. However, since sensors are not placed under the c...
191
click to vote
FUIN
2008
15 years 6 months ago
2008
We are concerned with the problem of defining a complex, hybrid, agent based discrete system in a modular way. The modularity results from looking at the system from a number of di...
160
click to vote
MKM
2007
Springer
16 years 22 days ago
2007
Springer
We address some aspects of a proposed system architecture for mathematical assistants, integrating calculations and deductions by common infrastructure within the Isabelle theorem ...