|
Results
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 |
|
Displaying result #1 - #16 of 16 (100 per page; Change: )
|