3161 search results - page 424 / 633 » Documenting framework behavior |
235
click to vote
SIMUTOOLS
2008
15 years 8 months ago
2008
MIPv6 is the IPv6 based mobility management protocol and it is expected to become the mobility management protocol of choice for the Next Generation Wireless Access Networks. In o...
181
click to vote
WCET
2008
15 years 8 months ago
2008
We propose an approach for timing analysis of software-based embedded computer systems that builds on the established probabilistic framework of Bayesian networks. We envision an ...
140
click to vote
AAAI
2006
15 years 8 months ago
2006
In this paper we describe Icarus, a cognitive architecture for physical agents that integrates ideas from a number of traditions, but that has been especially influenced by result...
172
click to vote
EUMAS
2006
15 years 8 months ago
2006
Systems often exhibit hierarchical structures and multiple levels of abstraction, and MultiAgent Systems, even if they have proved their adequacy to model such systems, mains in t...
192
click to vote
DAGSTUHL
2003
15 years 8 months ago
2003
STAIRS is an approach to the compositional development of sequence diagrams supporting the specification of mandatory as well as potential behavior. In order to express the necess...