1604 search results - page 256 / 321 » Modeling and simulation of integrated intelligent systems |
159
click to vote
DALT
2006
Springer
15 years 10 months ago
2006
Springer
We outline elements of the Abstract Contract Calculator, a prototype language implemented in Haskell (a declarative programming language) in which we simulate agents executing abst...
195
click to vote
ICTAI
1997
IEEE
15 years 9 months ago
1997
IEEE
This paper tackles the problem of analyzing the correctness and performance of a computer network protocol. Given the complexity of the problem, no currently used technique is abl...
188
click to vote
JCP
2008
15 years 6 months ago
2008
In order to implement both the efficiency and security in the Peer-to-Peer (P2P) network, we design a trusted small world overlay P2P network with the role based and reputation bas...
156
click to vote
DRM
2004
Springer
15 years 11 months ago
2004
Springer
The current landscape for digital rights management (DRM) consists of various ad hoc technologies and platforms that largely focus on copy protection. The fragmented nature of the...
203
click to vote
SDM
2012
SIAM
13 years 8 months ago
2012
SIAM
A Cyber-Physical System (CPS) integrates physical (i.e., sensor) devices with cyber (i.e., informational) components to form a situation-aware system that responds intelligently t...