Andrea Bracciali
- 1.Concurrency Control CORBAservice. http://www.omg.org/techonology/ documents/formal/concurrency service.htm .]]Google Scholar
- 2.JavaBeans Documentation. http://java.sun.com/beans/docs/.]]Google Scholar
- 3..NET Programming the Web. http://msdn microsoft.com .]]Google Scholar
- 4.The Obje t Management Group.http://www.omg.org .]]Google Scholar
- 5.G.Berry.Preemption in oncurrent systems.In Foundations of Software Technology and Theoretical Computer Science ,volume 761 of LNCS ,Bombay,India, 1993.Springer-Verlag.]] Google ScholarDigital Library
- 6.E.Brinksma.A Formal Description Tecnique based on the Tempotal Ordering of Observable Behaviours. Information Processing Systems -Open Systems Interconnection ,1988.ISO8807.]]Google Scholar
- 7.C.Canal,L.Fuentes,J.Troya,and A.Valle illo. Adding semantic information to IDLs.Is it really practi al?In Proceedin s of the OOPSLA '99 Workshop on Behavioral Semantics ,Denver,Colorado,1999.]]Google Scholar
- 8.L.Cardelli.Type systems.Handbook of Computer Science and Engineerin ,Chapter 103,CRC Press,1997.]]Google Scholar
- 9.N.Carriero and D.Gelernter.Coordination languages and their signi .cance.CACM ,35(2):97 -107,1992.]] Google ScholarDigital Library
- 10.D.Chappell.Understandin ActiveX and OLE . Microsoft Press,Redmond,WA,1996.]] Google ScholarDigital Library
- 11.E.Clarke,J.Wing,et al.Formal methods:State of the art and future dire tions.ACM Compitun Surveys , 28(4):626 -643,Dec.1996.]] Google ScholarDigital Library
- 12.R.Cleaveland,J.Parrow,and B.Ste .en.The oncurrency workben h:a semanti s-based tool for the veri .cation of concurrent systems.ACM Trans.Pro ram Lan .Syst.,15(1):36 -72,Jan.1993.]] Google ScholarDigital Library
- 13.J.Cruz and S.Ducasse.A group based approach for oordinating active obje ts.In Coordination Languages and Models -COORDINATION '99 ,volume 1594 of LNCS .Springer-Verlag,1999.]] Google ScholarDigital Library
- 14.M.Dolgicer.Inside CORBA services.Application Development Trends ,pages 63 -71,June 1997.]]Google Scholar
- 15.D.Helmbold and D.Luckman.Debugging ada tasking programs.IEEE Software ,2(2):47 -57,March 1985.]]Google ScholarDigital Library
- 16.B.Ja obs and J.Rutten.A Tutorial on (Co)Algebras and (Co)Induction.EATCS Bul l.,62:222 -259,1997.]]Google Scholar
- 17.R.Milner,J.Parrow,and D.Walker.A alculus of mobile pro esses.Journal of Information and Computation ,100:1 -77,1992.]] Google ScholarDigital Library
- 18.E.Najm,A.Nimour,and J.Stefani.In .nite types for distributed obje ts interfa es.In Proceedin s of FMOODS '99 .Kluwer,1999.]] Google ScholarDigital Library
- 19.A.Omicini and F.Zambonelli.Coordination for Internet appli ation development.Journal of Autonomous Agents and Multi-Agent Systems , 2(3):251 -269,September 1999.]] Google ScholarDigital Library
- 20.G.Papadopoulos and F.Arbab.Coordination models and languages.Advances in Computers ,46,1998.]]Google Scholar
- 21.A.Pnueli.A temporal logi of oncurrent programs. Theor.Comput.Sci.,13:45 -60,1981.]]Google ScholarCross Ref
- 22.N.Sample,D.Beringer,L.Melloul,and G.Widerhold.Clam:Composition language for autonomous megamodules.In Coordination Languages and Models (COORDINATION '99),volume 1594 of LNCS .Springer-Verlag,1999.]] Google ScholarDigital Library
Index Terms
- Coordinating interaction patterns
Recommendations
3-D interaction with a large wall display using transparent markers
AVI '10: Proceedings of the International Conference on Advanced Visual InterfacesIn this paper we proposed a new interface for interacting with large displays via small video devices such as a cell phone. We estimate the location of the camera relative to the display using a matrix of transparent markers embedded on display. As a ...
Interaction Proxemics: Combining Physical Spaces for Seamless Gesture Interaction
PerDis '15: Proceedings of the 4th International Symposium on Pervasive DisplaysTouch and gesture input have become popular for display interaction. While applications usually focus on one particular input technology, we set out to adjust the interaction modality based on the proximity of users to the screen. Therefore, we built a ...
Augmenting touch interaction through acoustic sensing
ITS '11: Proceedings of the ACM International Conference on Interactive Tabletops and SurfacesRecognizing how a person actually touches a surface has generated a strong interest within the interactive surfaces community. Although we agree that touch is the main source of information, unless other cues are accounted for, user intention might not ...
Comments