Search results for "Mobile ambient"

Found 16 publication records. Showing 16 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Taolue Chen, Tingting Han, Jian Lu	Framework of Performance Evaluation for Mobile Process Based on Mobile Ambient.	CIT	2004	DBLP DOI BibTeX RDF	Formal methodology, Software quantity, Performance evaluation, Process algebra, Mobile ambient
2	Artur Lugmayr	Mobile ambient media: between human, art, and technology.	MoMM	2008	DBLP DOI BibTeX RDF
2	Chunming Gao, Jin Li, Zhoujun Li, Huowang Chen	Model Checking for BPEL4WS with Time.	APWeb/WAIM Workshops	2007	DBLP DOI BibTeX RDF	Timed Mobile Ambient, model checking, modal logic, BPEL
1	Dimitrios D. Vergados	Service personalization for assistive living in a mobile ambient healthcare-networked environment.	Personal and Ubiquitous Computing	2010	DBLP DOI BibTeX RDF
1	Hua Jiang, Xinxing Tan	Bisimulations in the Boxed Safe Ambients with Password.	ITNG	2009	DBLP DOI BibTeX RDF	mobile ambient calculus, p-calculus, model checking, computational model, process calculus
1	Ines Margaria, Maddalena Zacchi	Access control in mobile ambient calculi: A comparative view.	Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Frank Bentley, Joe Tullio, Crysta J. Metcalf, Drew Harry, Noel Massey	A Time to Glance: Studying the Use of Mobile Ambient Information.	Ambient Information Systems	2007	DBLP BibTeX RDF
1	Chunming Gao, Yong Li, Huowang Chen	Distributed System Modeling Based on Discrete Time Mobile Ambient.	PDPTA	2007	DBLP BibTeX RDF
1	Chunming Gao, Yong Li, Huowang Chen	Services Composition Modeling with Mobility and Time.	IEEE SCW	2007	DBLP DOI BibTeX RDF
1	Amanda Williams, Shelly Farnham, Scott Counts	Exploring wearable ambient displays for social awareness.	CHI Extended Abstracts	2006	DBLP DOI BibTeX RDF	mobile phones, tangible interfaces, group communication, social computing, wearable, ambient display
1	Gabriel Ciobanu, Vladimir A. Zakharov	Encoding Mobile Ambients into the pi -Calculus.	Ershov Memorial Conference	2006	DBLP DOI BibTeX RDF
1	Andy Crabtree, Tom Rodden, Steve Benford	Moving with the Times: IT Research and the Boundaries of CSCW.	Computer Supported Cooperative Work	2005	DBLP DOI BibTeX RDF	IT research, ludic pursuits, CSCW, ethnomethodology, mixed reality game
1	Vladimir Rogozhin, Elena Boian	Simulation of Mobile Ambients by P Systems. Part 1.	Workshop on Membrane Computing	2003	DBLP DOI BibTeX RDF
1	Chiara Braghin, Agostino Cortesi, Stefano Filippone, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza	BANANA - A Tool for Boundary Ambients Nesting ANAlysis.	TACAS	2003	DBLP DOI BibTeX RDF
1	Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza	Complexity of Nesting Analysis in Mobile Ambients.	VMCAI	2003	DBLP DOI BibTeX RDF	Complexity, Static Analysis, Ambient Calculus
1	Michele Bugliesi, Giuseppe Castagna, Silvia Crafa	Boxed Ambients.	TACS	2001	DBLP DOI BibTeX RDF