924 search results - page 131 / 185 » Community systems research at Yahoo! |
ICSE
2009
IEEE-ACM
14 years 7 months ago
2009
IEEE-ACM
Software security issues have been a major concern to the cyberspace community, so a great deal of research on security testing has been performed, and various security testing te...
SOFSEM
2012
Springer
13 years 5 months ago
2012
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification against all environments. While modelchecking theory has led to...
ROBOCUP
2001
Springer
15 years 2 months ago
2001
Springer
This paper presents an energy-ecient biped walking method that has been implemented in a low-cost humanoid platform, PINO, for various research purposes. For biped walking robots ...
MDM
2004
Springer
15 years 3 months ago
2004
Springer
This position paper argues that the mobile agents paradigm is a useful and important technology enabling pervasive and ubiquitous computing. Context awareness drives adaptability ...
WWW
2008
ACM
15 years 10 months ago
2008
ACM
The success and popularity of social network systems, such as del.icio.us, Facebook, MySpace, and YouTube, have generated many interesting and challenging problems to the research...