3218 search results - page 230 / 644 » Timed Extensions for SDL |
166
click to vote
LCN
2005
IEEE
16 years 3 days ago
2005
IEEE
— Recent advances in microelectronic technology have made it possible to construct compact and inexpensive wireless sensors. Sensor networks have received significant attention ...
173
click to vote
SAC
2005
ACM
16 years 2 days ago
2005
ACM
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
163
click to vote
APN
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We study probabilistic safe Petri nets, a probabilistic extension of safe Petri nets interpreted under the true-concurrent semantics. In particular, the likelihood of pro...
161
click to vote
ATAL
2005
Springer
16 years 1 days ago
2005
Springer
One aspect of rational behavior is that agents can pursue multiple goals in parallel. Current BDI theory and systems do not provide a theoretical or architectural framework for de...
159
click to vote
RT
2005
Springer
16 years 35 min ago
2005
Springer
This paper describes a novel extension of the photon mapping algorithm, capable of handling both volume multiple inelastic scattering and curved light paths simultaneously. The ex...