Abstract. While traditional technology acceptance models concentrate on relationships between usefulness and acceptance, they leave unresolved the questions about why a certain tec...
Abstract: One of the basic tasks of automotive collision avoidance and collision mitigation systems is the robust and reliable detection of objects as well as the prediction of fut...
Norman Mattern, Robin Schubert, Christian Adam, Ge...
A new form of computer mediated communication that promises to revolutionize the way organizations communicate is internal corporate blogs. However, the academic literature on thi...
Network virtualization promises to spur innovation and add flexibility to the Future Internet infrastructure. Routers supporting virtualization allow the deployment of concurrent ...
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...