9006 search results - page 1521 / 1802 » Modeling Software |
114
click to vote
INFOCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
— It has been observed that different IEEE 802.11 commercial cards produced by different vendors experience different performance, either when accessing alone the channel, as wel...
161
click to vote
SECON
2007
IEEE
15 years 10 months ago
2007
IEEE
—Programming Wireless Sensor Network (WSN) applications is known to be a difficult task. Part of the problem is that the resource limitations of typical WSN nodes force programm...
138
click to vote
CLEAR
2007
Springer
15 years 10 months ago
2007
Springer
We describe the latest version of the SRI-ICSI meeting and lecture recognition system, as was used in the NIST RT-07 evaluations, highlighting improvements made over the last year....
139
click to vote
EEMMAS
2007
Springer
15 years 10 months ago
2007
Springer
Multiagent systems for mobile and pervasive computing should extensively exploit contextual information both to adapt to user needs and to enable autonomic behavior. This raises th...
121
click to vote
FOSSACS
2007
Springer
15 years 10 months ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...