Sciweavers

1669 search results - page 225 / 334
» Modeling ODP Computational Specifications Using UML
Sort
View
VLSID
2004
IEEE
138views VLSI» more  VLSID 2004»
14 years 9 months ago
Synthesis-driven Exploration of Pipelined Embedded Processors
Recent advances on language based software toolkit generation enables performance driven exploration of embedded systems by exploiting the application behavior. There is a need fo...
Prabhat Mishra, Arun Kejariwal, Nikil Dutt
AGENTCL
2000
Springer
14 years 1 months ago
What Is a Conversation Policy?
In this paper we define the concept of conversation policies: declarative specifications that govern communications between software agents using an agent communication language. ...
Mark Greaves, Heather Holmback, Jeffrey Bradshaw
SIGADA
1998
Springer
14 years 1 months ago
Algorithm Animation with Symbol Processing Robots
This experience report demonstrates several running programs with visual, animated, colorful displays of "algorithms in action." A common element of all of the programs ...
Brad S. Crawford
ECAI
1992
Springer
14 years 1 months ago
Towards a Cooperation Knowledge Level For Collaborative Problem Solving
The cooperation knowledge level is a new computer level specifically for multi-agent problem solvers which describes rich and explicit models of common social phenomena. A cooperat...
Nicholas R. Jennings
CORR
2010
Springer
144views Education» more  CORR 2010»
13 years 9 months ago
Stochastic Games for Security in Networks with Interdependent Nodes
This paper studies a stochastic game theoretic approach to security and intrusion detection in communication and computer networks. Specifically, an Attacker and a Defender take pa...
Kien C. Nguyen, Tansu Alpcan, Tamer Basar