3733 search results - page 240 / 747 » Logics of communication and change |
110
click to vote
EJC
2006
15 years 2 months ago
2006
With development of knowledge bases (KB) there appeared expert systems that use KBs to support them in decision making process. Decision Support Systems, that are the subject of th...
110
click to vote
GLOBECOM
2008
IEEE
15 years 2 months ago
2008
IEEE
— Nodes forming mobile ad hoc networks (MANET) nodes can be logically partitioned into 1) a selfish user agent serving the interests of the end user (owner) of the mobile device...
ENTCS
2007
15 years 1 months ago
2007
We discuss the tensions between intensionality and extensionality of spatial observations in distributed systems, showing that there are natural models where extensional observati...
111
click to vote
NGC
2006
Springer
15 years 1 months ago
2006
Springer
Abstract This paper presents an application that automatically generates basic stories: short texts that only narrate the main events of the plot. The system operates with a repres...
118
click to vote
IFIP
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. We introduce a calculus with mobile names, distributed principals and primitives for secure remote communication, without any reference to explicit cryptography. The calc...