It is often difficult in computer graphics applications to understand spatial relationships betweenobjects in a 3D sceneor effect changes to those objects without specialized visu...
Kenneth P. Herndon, Robert C. Zeleznik, Daniel C. ...
In this paper we propose a methodology for the construction of 3D electronic institutions. 3D electronic institutions are normative environments where software and human agents ca...
Anton Bogdanovych, Marc Esteva, Simeon J. Simoff, ...
Smart camera networks provide the opportunity to detect, classify, and trace visual events by means of a wireless network of embedded computing devices equipped with camera sensor...
Designing and testing distributed applications is still a difficult task that requires in-depth knowledge about networking issues. Eclipse is, among other things, a powerful and w...
Jan S. Rellermeyer, Gustavo Alonso, Timothy Roscoe
Abstract. When designing an open system, there might be no implementation available for certain components at verification time. For such systems, verification has to be based on a...