Sciweavers

7434 search results - page 323 / 1487
» Still
Sort
View
208
Voted
FINANCECOM
2007
Springer
184views Finance» more  FINANCECOM 2007»
15 years 10 months ago
General Requirements of Banks on IT Architectures and the Service-Oriented Architecture Paradigm
The Service-oriented architecture (SOA) paradigm has been gaining momentum over the last few years. Although the banking industry has often been mentioned as an early adaptor of s...
Stefan Schulte 0002, Nicolas Repp, Julian Eckert, ...
HRI
2007
ACM
15 years 10 months ago
To kill a mockingbird robot
Robots are being introduced in our society but their social status is still unclear. A critical issue is if the robot's exhibition of intelligent life-like behavior leads to ...
Christoph Bartneck, Marcel Verbunt, Omar Mubin, Ab...
182
Voted
HRI
2007
ACM
15 years 10 months ago
Humanoid robots as a passive-social medium: a field experiment at a train station
This paper reports a method that uses humanoid robots as a communication medium. There are many interactive robots under development, but due to their limited perception, their in...
Kotaro Hayashi, Daisuke Sakamoto, Takayuki Kanda, ...
HT
2007
ACM
15 years 10 months ago
A study of publisher, writer, and reader: different perspectives on digital fiction
This paper describes a study set up to investigate and map the landscape of digital writing today. Writers, readers and publishers have been interviewed and questioned for their o...
Hazel Wright, Daniela Petrelli
HVC
2007
Springer
106views Hardware» more  HVC 2007»
15 years 10 months ago
Exploiting Shared Structure in Software Verification Conditions
Abstract. Despite many advances, today's software model checkers and extended static checkers still do not scale well to large code bases, when verifying properties that depen...
Domagoj Babic, Alan J. Hu