Sciweavers

4966 search results - page 117 / 994
» its 2010
Sort
View
ENTCS
2006
136views more  ENTCS 2006»
15 years 6 months ago
Automated Game Analysis via Probabilistic Model Checking: a case study
It has been recognised for some time that there are close links between the various logics developed for the analysis of multi-agent systems and the many game-theoretic models dev...
Paolo Ballarini, Michael Fisher, Michael Wooldridg...
SIGDIAL
2010
15 years 4 months ago
YouBot: A Simple Framework for Building Virtual Networking Agents
This paper proposes a simple framework for building 'virtual networking agents'; programs that can communicate with users and collect information through the internet. T...
Seiji Takegata, Kumiko Tanaka-Ishii
CORR
2010
Springer
152views Education» more  CORR 2010»
15 years 3 months ago
Fault Tolerant Variable Block Carry Skip Logic (VBCSL) using Parity Preserving Reversible Gates
Reversible logic design has become one of the promising research directions in low power dissipating circuit design in the past few years and has found its application in low power...
Md. Saiful Islam 0003, Muhammad Mahbubur Rahman, Z...
CDC
2010
IEEE
100views Control Systems» more  CDC 2010»
15 years 1 months ago
On the internal dynamics of formations of unicycle robots
This paper studies a general class of formations of unicycle robots. One of the robots plays the role of the leader and the formation is induced through a constraint function F tha...
Luca Consolini, Fabio Morbidi, Domenico Prattichiz...
TDSC
2010
168views more  TDSC 2010»
15 years 1 months ago
An Advanced Hybrid Peer-to-Peer Botnet
A "botnet" consists of a network of compromised computers controlled by an attacker ("botmaster"). Recently botnets have become the root cause of many Internet ...
Ping Wang, Sherri Sparks, Cliff Changchun Zou