25156 search results - page 4683 / 5032 » Applications for conscious systems |
218
click to vote
JAIR
2011
14 years 9 months ago
2011
There has been significant recent interest in game theoretic approaches to security, with much of the recent research focused on utilizing the leader-follower Stackelberg game mo...
289
click to vote
ICDE
2000
IEEE
16 years 8 months ago
2000
IEEE
Abstract Arturo Crespo, Orkut Buyukkokten, and Hector Garcia-Molina Stanford University With information dissemination (information push), data is delivered from a set of producers...
250
click to vote
ICSE
2007
IEEE-ACM
16 years 29 days ago
2007
IEEE-ACM
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...
199
click to vote
WSC
1997
15 years 8 months ago
1997
Modeling and simulation of very large systems introduces a number of issues that are not seen in the modeling of simpler systems. These arise because the resource requirements for...
381
click to vote
Publication
Future broadband satellite networks will support a variety of service types. Many such systems are being designed with ATM or ATM like technology. A majority of Internet applicatio...