4460 search results - page 519 / 892 » Formal methods for interactive systems |
173
click to vote
JUCS
2002
15 years 6 months ago
2002
The main goal of this research is to improve Information Retrieval Systems by enabling them to generate search outcomes that are relevant and customized to each specific user. Our ...
185
click to vote
ECRTS
2008
IEEE
16 years 1 months ago
2008
IEEE
Embedded services and applications that interact with the real world often, over time, need to run on different kinds of hardware (low-cost microcontrollers to powerful multicore ...
207
click to vote
SAC
2002
ACM
15 years 6 months ago
2002
ACM
Designing realistic multi-agent systems is a complex process, which involves specifying not only the functionality of individual agents, but also the authority relationships and l...
212
click to vote
ICC
2008
IEEE
16 years 1 months ago
2008
IEEE
— In recent years, LED technology emerged as a prime candidate for the future illumination light source, due to high energy efficiency and long life time. In addition, LEDs offe...
167
click to vote
OHS
2001
Springer
15 years 11 months ago
2001
Springer
The size of Internet has been growing very fast and many documents appear every day in the Net. Users find many problems to obtain the information that they really need. In order t...