10038 search results - page 1597 / 2008 » Model Checking for Managers |
187
click to vote
ADVIS
2000
Springer
15 years 11 months ago
2000
Springer
Traditional reliable multicast protocols depend on assumptions about flow control and reliability mechanisms, and they suffer from a kind of interference between these mechanisms. ...
161
click to vote
CLEF
2000
Springer
15 years 11 months ago
2000
Springer
This paper presents work on document retrieval for Italian carried out at ITC-irst. Two different approaches to information retrieval were investigated, one based on the Okapi wei...
166
click to vote
CLEF
2000
Springer
15 years 11 months ago
2000
Springer
This paper describes the official runs of the Twenty-One group for the first CLEF workshop. The Twenty-One group participated in the monolingual, bilingual and multilingual tasks....
182
click to vote
COORDINATION
2000
Springer
15 years 11 months ago
2000
Springer
Internet-based multi-agent systems call for new metaphors, abstractions, methodologies and enabling technologies specifically tailored to agent-oriented engineering. While coordin...
180
click to vote
CHI
1999
ACM
15 years 11 months ago
1999
ACM
Recent debate has centered on the relative promise of focusing user-interface research on developing new metaphors and tools that enhance users’ abilities to directly manipulate...