8760 search results - page 1501 / 1752 » Modeling users of intelligent systems |
193
click to vote
PPDP
2005
Springer
16 years 2 days ago
2005
Springer
We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems...
155
click to vote
ISW
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protoco...
175
click to vote
ISDO
2000
15 years 8 months ago
2000
The Web is rapidly becoming the platform through which many companies deliver services to businesses and individual customers. E-Services are typically delivered point-to-point; h...
220
click to vote
EWCBR
2004
Springer
15 years 12 months ago
2004
Springer
The complexity of software systems makes design reuse a necessary task in the software development process. CASE tools can provide cognitive assistance in this task, helping the so...
216
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
Todays, we assist to the explosive development of mobile computing devices like PDAs and cell-phones, the integration of embedded intelligence (like Web server) in more and more c...