4520 search results - page 794 / 904 » Algebraic Techniques for Timed Systems |
171
click to vote
QSIC
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we consider a problem that arises in black box testing: generating small test suites (i.e., sets of test cases) where the combinations that have to be covered are s...
191
click to vote
SASN
2003
ACM
15 years 11 months ago
2003
ACM
In this paper we present SECTOR, a set of mechanisms for the secure veriļ¬cation of the time of encounters between nodes in multi-hop wireless networks. This information can be u...
175
click to vote
VRST
2003
ACM
15 years 11 months ago
2003
ACM
Virtual Reality Art involves the design of artificial worlds that offer new experiences to spectators. An important aspect for the development of VR Art installations is the princ...
194
click to vote
CEEMAS
2003
Springer
15 years 11 months ago
2003
Springer
Modeling learning agents in the context of Multi-agent Systems requires an adequate understanding of their dynamic behaviour. Usually, these agents are modeled similar to the diļ¬...
160
click to vote
CPE
2003
Springer
15 years 11 months ago
2003
Springer
We describe the main features of SmArT, a software package providing a seamless environment for the logic and probabilistic analysis of complex systems. SmArT can combine diļ¬eren...