Abstract One of the most significant paradigm shifts of modern business management is that individual businesses no longer compete as autonomous entities but rather as supply chain...
Areti Manataki, Yun-Heh Chen-Burger, Michael Rovat...
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
As mobile and embedded devices become widespread, the management and configuration of the software in the devices is increasingly turning into a critical issue. OSGi is a busines...
This paper describes the rationale and subsequent development stages of a work in progress: a graffiti toolkit for rich spatial 3D environments and an actual world mnemonic collec...
Local aspects of Web search -- associating Web content and queries with geography -- is a topic of growing interest. However, the underlying question of how spatial variation is m...
Lars Backstrom, Jon M. Kleinberg, Ravi Kumar, Jasm...