| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu |
Servilla: A flexible service provisioning middleware for heterogeneous sensor networks.  |
Sci. Comput. Program.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonas Michel, Christine Julien, Jamie Payton, Gruia-Catalin Roman |
myGander: A mobile interface and distributed search engine for pervasive computing. |
PerCom Workshops |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonas Michel, Christine Julien, Jamie Payton, Gruia-Catalin Roman |
A spatiotemporal model for ephemeral data in pervasive computing networks. |
PerCom Workshops |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Octav Chipara, Chenyang Lu, John A. Stankovic, Gruia-Catalin Roman |
Dynamic Conflict-Free Transmission Scheduling for Sensor Network Queries. |
IEEE Trans. Mob. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonas Michel, Christine Julien, Jamie Payton, Gruia-Catalin Roman |
Gander: Personalizing Search of the Here and Now. |
MobiQuitous |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang De Meuter, Gruia-Catalin Roman (eds.) |
Coordination Models and Languages - 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings |
COORDINATION |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christine Julien, Vasanth Rajamani, Jamie Payton, Gruia-Catalin Roman |
Fidelity-based continuous query introspection and adaptation. |
PerCom Workshops |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jamie Payton, Christine Julien, Gruia-Catalin Roman, Vasanth Rajamani |
Semantic self-assessment of query results in dynamic environments. |
ACM Trans. Softw. Eng. Methodol. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu |
Coordinating Resource Usage through Adaptive Service Provisioning in Wireless Sensor Networks. |
COORDINATION |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Octav Chipara, Chenyang Lu, Thomas C. Bailey, Gruia-Catalin Roman |
Reliable clinical monitoring using wireless sensor networks: experiences in a step-down hospital unit. |
SenSys |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Octav Chipara, Gregory Hackmann, Chenyang Lu, William D. Smart, Gruia-Catalin Roman |
Practical modeling and prediction of radio coverage of indoor sensor networks. |
IPSN |
2010 |
DBLP DOI BibTeX RDF |
wireless propagation models, wireless sensor networks, coverage |
| 1 | Gruia-Catalin Roman, Kevin J. Sullivan (eds.) |
Proceedings of the Workshop on Future of Software Engineering Research, FoSER 2010, at the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November 7-11, 2010 |
FoSER |
2010 |
DBLP BibTeX RDF |
|
| 1 | Gruia-Catalin Roman, Kevin J. Sullivan (eds.) |
Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November 7-11, 2010 |
SIGSOFT FSE |
2010 |
DBLP BibTeX RDF |
|
| 1 | Sangeeta Bhattacharya, Abusayeed Saifullah, Chenyang Lu, Gruia-Catalin Roman |
Multi-Application Deployment in Shared Sensor Networks Based on Quality of Monitoring. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu |
Agilla: A mobile agent middleware for self-adaptive wireless sensor networks. |
TAAS |
2009 |
DBLP DOI BibTeX RDF |
wireless sensor network, middleware, Agent, mobile agent |
| 1 | Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu |
Enhanced Coordination in Sensor Networks through Flexible Service Provisioning. |
COORDINATION |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasanth Rajamani, Christine Julien, Jamie Payton, Gruia-Catalin Roman |
Inquiry and Introspection for Non-deterministic Queries in Mobile Networks. |
FASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Octav Chipara, Christopher Brooks, Sangeeta Bhattacharya, Chenyang Lu, Roger D. Chamberlain, Gruia-Catalin Roman, Thomas C. Bailey |
Poster abstract: Reliable data collection from mobile users for real-time clinical monitoring. |
IPSN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Louis Thomas, Justin Wilson, Gruia-Catalin Roman, Christopher D. Gill |
Achieving Coordination through Dynamic Construction of Open Workflows. |
Middleware |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasanth Rajamani, Christine Julien, Jamie Payton, Gruia-Catalin Roman |
PAQ: Persistent Adaptive Query Middleware for Dynamic Environments. |
Middleware |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sangeeta Bhattacharya, Chien-Liang Fok, Chenyang Lu, Gruia-Catalin Roman |
MLDS: A flexible location directory service for tiered sensor networks. |
Computer Communications |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christine Julien, Gruia-Catalin Roman, Qingfeng Huang |
SICC: Source-Initiated Context Construction in Mobile Ad Hoc Networks. |
IEEE Trans. Mob. Comput. |
2008 |
DBLP DOI BibTeX RDF |
application-aware communication, mobile ad hoc networks, context-awareness |
| 1 | Rohan Sen, Gruia-Catalin Roman, Christopher D. Gill |
CiAN: A Workflow Engine for MANETs. |
COORDINATION |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rohan Sen, Radu Handorean, Gruia-Catalin Roman, Gregory Hackmann, Christopher D. Gill |
Knowledge-Driven Interactions across Mobile Ad Hoc Networks. |
Int. J. Cooperative Inf. Syst. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gruia-Catalin Roman, Christine Julien, Jamie Payton |
Modeling adaptive behaviors in Context UNITY. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sangeeta Bhattacharya, Chien-Liang Fok, Chenyang Lu, Gruia-Catalin Roman |
Design and Implementation of a Flexible Location Directory Service for Tiered Sensor Networks. |
DCOSS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Frey, Gruia-Catalin Roman |
Context-Aware Publish Subscribe in Mobile Ad Hoc Networks. |
COORDINATION |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rohan Sen, Gregory Hackmann, Mart Haitjema, Gruia-Catalin Roman, Christopher D. Gill |
Coordinating Workflow Allocation and Execution in Mobile Environments. |
COORDINATION |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Fei Sun, Chien-Liang Fok, Gruia-Catalin Roman |
sChat: a group communication service over wireless sensor networks. |
IPSN |
2007 |
DBLP DOI BibTeX RDF |
wireless sensor network, multicast, group communication, mobile user |
| 1 | Octav Chipara, Chenyang Lu, Gruia-Catalin Roman |
Real-Time Query Scheduling for Wireless Sensor Networks. |
RTSS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jamie Payton, Christine Julien, Gruia-Catalin Roman |
Automatic consistency assessment for query results in dynamic environments. |
ESEC/SIGSOFT FSE |
2007 |
DBLP DOI BibTeX RDF |
query semantics, mobile computing |
| 1 | Christine Julien, Gruia-Catalin Roman |
EgoSpaces: Facilitating Rapid Development of Context-Aware Mobile Applications. |
IEEE Trans. Software Eng. |
2006 |
DBLP DOI BibTeX RDF |
mobile ad hoc networks, middleware, Context-awareness, programming abstraction |
| 1 | Amy L. Murphy, Gian Pietro Picco, Gruia-Catalin Roman |
LIME: A coordination model and middleware supporting mobility of hosts and agents. |
ACM Trans. Softw. Eng. Methodol. |
2006 |
DBLP DOI BibTeX RDF |
Mobile computing, middleware, tuple spaces |
| 1 | Radu Handorean, Rohan Sen, Gregory Hackmann, Gruia-Catalin Roman |
Supporting Predictable Service Provision in MANETs Via Context-Aware Session Management. |
Int. J. Web Service Res. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Gian Pietro Picco, Matteo Migliavacca, Amy L. Murphy, Gruia-Catalin Roman |
Distributed Abstract Data Types. |
OTM Conferences |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory Hackmann, Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu |
Agimone: Middleware Support for Seamless Integration of Sensor and IP Networks. |
DCOSS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sangeeta Bhattacharya, Nuzhet Atay, Gazihan Alankus, Chenyang Lu, O. Burçhan Bayazit, Gruia-Catalin Roman |
Roadmap Query for Sensor Network Assisted Navigation in Dynamic Environments. |
DCOSS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gruia-Catalin Roman, Radu Handorean, Rohan Sen |
Tuple Space Coordination Across Space and Time. |
COORDINATION |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory Hackmann, Mart Haitjema, Christopher D. Gill, Gruia-Catalin Roman |
Sliver: A BPEL Workflow Process Execution Engine for Mobile Devices. |
ICSOC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sangeeta Bhattacharya, Chien-Liang Fok, Chenyang Lu, Gruia-Catalin Roman |
A hierarchical location directory service across sensor and IP networks. |
SenSys |
2006 |
DBLP DOI BibTeX RDF |
location directory, sensor networks, mobile agent |
| 1 | Sergio F. Ochoa, Gruia-Catalin Roman (eds.) |
IFIP 19th World Computer Congress, First International Workshop on Advanced Software Engineering, Expanding the Frontiers of Software Technology, August 25, 2006, Santiago, Chile |
IFIP Workshop on Advanced Software Engineering |
2006 |
DBLP BibTeX RDF |
|
| 1 | Daniel Massaguer, Chien-Liang Fok, Nalini Venkatasubramanian, Gruia-Catalin Roman, Chenyang Lu |
Exploring sensor networks using mobile agents. |
AAMAS |
2006 |
DBLP DOI BibTeX RDF |
(multi-)agent planning, performance evaluation of agent systems, mobile agents, applications of autonomous agents and multi-agent systems |
| 1 | Gruia-Catalin Roman, Jamie Payton |
A Termination Detection Protocol for Use in Mobile Ad Hoc Networks. |
Autom. Softw. Eng. |
2005 |
DBLP DOI BibTeX RDF |
algorithm, ad hoc network, mobile computing, termination detection, diffusing computation |
| 1 | Gruia-Catalin Roman, Jamie Payton |
A principled exploration of coordination models. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Qingfeng Huang, Sangeeta Bhattacharya, Chenyang Lu, Gruia-Catalin Roman |
FAR: Face-aware routing for mobicast in large-scale sensor networks. |
TOSN |
2005 |
DBLP DOI BibTeX RDF |
spatiotemporal multicast, simulations, sensor networks, graph theory, System design, wireless ad hoc networks, statistics |
| 1 | Rohan Sen, Gregory Hackmann, Gruia-Catalin Roman, Christopher D. Gill |
Opportunistic exploitation of knowledge to increase predictability of agent interactions in MANETs. |
ACM SIGSOFT Software Engineering Notes |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Handorean, Rohan Sen, Gregory Hackmann, Gruia-Catalin Roman |
Context Aware Session Management for Services in Ad Hoc Networks. |
IEEE SCC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory Hackmann, Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu, Christopher K. Zuver, Kent English, John Meier |
Agile cargo tracking using mobile agents. |
SenSys |
2005 |
DBLP DOI BibTeX RDF |
AgiTrack, agilla, cargo tracking, wireless sensor networks, mobile agents |
| 1 | Sangeeta Bhattacharya, Guoliang Xing, Chenyang Lu, Gruia-Catalin Roman, Octav Chipara, Brandon Harris |
Dynamic wake-up and topology maintenance protocols with spatiotemporal guarantees. |
IPSN |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu |
Mobile agent middleware for sensor networks: an application case study. |
IPSN |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu |
Rapid Development and Flexible Deployment of Adaptive Wireless Sensor Network Applications. |
ICDCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Octav Chipara, Chenyang Lu, Gruia-Catalin Roman |
Efficient Power Management Based on Application Timing Semantics for Wireless Sensor Networks. |
ICDCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory Hackmann, Christopher D. Gill, Gruia-Catalin Roman |
Towards a Real-Time Coordination Model for Mobile Computing. |
Monterey Workshop |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gruia-Catalin Roman, William G. Griswold, Bashar Nuseibeh (eds.) |
27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA |
ICSE |
2005 |
DBLP BibTeX RDF |
|
| 1 | Cecilia Mascolo, Gian Pietro Picco, Gruia-Catalin Roman |
CODEWEAVE: Exploring Fine-Grained Mobility of Code. |
Autom. Softw. Eng. |
2004 |
DBLP DOI BibTeX RDF |
specification and semantics, distributed systems, code mobility |
| 1 | Qingfeng Huang, Chenyang Lu, Gruia-Catalin Roman |
Design and Analysis of Spatiotemporal Multicast Protocols for Wireless Sensor Networks. |
Telecommunication Systems |
2004 |
DBLP DOI BibTeX RDF |
mobicast, spatiotemporal multicast, sensor networks, protocol, specification, wireless ad hoc networks |
| 1 | Christine Julien, Jamie Payton, Gruia-Catalin Roman |
Reasoning About Context-Awareness in the Presence of Mobility. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Qingfeng Huang, Christine Julien, Gruia-Catalin Roman |
Relying on Safe Distance to Achieve Strong Partitionable Group Membership in Ad Hoc Networks. |
IEEE Trans. Mob. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Rohan Sen, Radu Handorean, Gregory Hackmann, Gruia-Catalin Roman |
An Architecture Supporting Run-Time Upgrade of Proxy-Based Services in Ad Hoc Networks. |
International Conference on Wireless Networks |
2004 |
DBLP BibTeX RDF |
|
| 1 | Christine Julien, Gruia-Catalin Roman |
Active Coordination in Ad Hoc Networks. |
COORDINATION |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Chien-Liang Fok, Gruia-Catalin Roman, Gregory Hackmann |
A Lightweight Coordination Middleware for Mobile Computing. |
COORDINATION |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Handorean, Christopher D. Gill, Gruia-Catalin Roman |
Accommodating Transient Connectivity in Ad Hoc and Mobile Settings. |
Pervasive |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Rohan Sen, Radu Handorean, Gruia-Catalin Roman, Gregory Hackmann |
Knowledge-driven interactions with services across ad hoc networks. |
ICSOC |
2004 |
DBLP DOI BibTeX RDF |
ad hoc networks, mobile computing, knowledge management, service-oriented computing |
| 1 | Gruia-Catalin Roman, Christine Julien, Jamie Payton |
A Formal Treatment of Context-Awareness. |
FASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory Hackmann, Christine Julien, Jamie Payton, Gruia-Catalin Roman |
Supporting Generalized Context Interactions. |
SEM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Qingfeng Huang, Chenyang Lu, Gruia-Catalin Roman |
Reliable Mobicast via Face-Aware Routing. |
INFOCOM |
2004 |
DBLP BibTeX RDF |
|
| 1 | Christine Julien, Gruia-Catalin Roman |
Supporting Context-Aware Interaction in Dynamic Multi-agent Systems. |
E4MAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Christine Julien, Jamie Payton, Gruia-Catalin Roman |
Adaptive Access Control in Coordination-Based Mobile Agent Systems. |
SELMAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Handorean, Gruia-Catalin Roman |
Secure Sharing of Tuple Spaces in Ad Hoc Settings. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Handorean, Jamie Payton, Christine Julien, Gruia-Catalin Roman |
Coordination Middleware Supporting Rapid Deployment of Ad Hoc Mobile System. |
ICDCS Workshops |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Handorean, Gruia-Catalin Roman |
Secure Service Provision in Ad Hoc Networks. |
ICSOC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Qingfeng Huang, Chenyang Lu, Gruia-Catalin Roman |
Spatiotemporal multicast in sensor networks. |
SenSys |
2003 |
DBLP DOI BibTeX RDF |
mobicast, network geometry, spatiotemporal multicast, protocols, wireless ad hoc networks |
| 1 | Amy L. Murphy, Gian Pietro Picco, Gruia-Catalin Roman |
Software Architecture for Mobile Computing. |
SFM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Qingfeng Huang, Chenyang Lu, Gruia-Catalin Roman |
Mobicast: Just-in-Time Multicast for Sensor Networks under Spatiotemporal Constraints. |
IPSN |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Gruia-Catalin Roman, Jamie Payton |
Mobile UNITY Schemas for Agent Coordination. |
Abstract State Machines |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Amy L. Murphy, Gruia-Catalin Roman, George Varghese |
Tracking Mobile Units for Dependable Message Delivery. |
IEEE Trans. Software Eng. |
2002 |
DBLP DOI BibTeX RDF |
mobile computing, diffusing computations, message delivery |
| 1 | Gruia-Catalin Roman, Amy L. Murphy |
Guest Editorial: Software Engineering for Mobility. |
Autom. Softw. Eng. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Gruia-Catalin Roman, Peter J. McCann |
A Notation and Logic for Mobile Computing. |
Formal Methods in System Design |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Gruia-Catalin Roman, Christine Julien, Qingfeng Huang |
Formal Specification and Design of Mobile Systems. (PDF / PS) |
IPDPS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Handorean, Gruia-Catalin Roman |
Service Provision in Ad Hoc Networks. |
COORDINATION |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Gruia-Catalin Roman, Christine Julien, Amy L. Murphy |
A Declarative Approach to Agent-Centered Context-Aware Computing in Ad Hoc Wireless Environments. |
SELMAS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Gruia-Catalin Roman, Christine Julien, Qingfeng Huang |
Network abstractions for context-aware mobile computing. |
ICSE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Christine Julien, Gruia-Catalin Roman |
Egocentric context-aware programming in ad hoc mobile environments. |
SIGSOFT FSE |
2002 |
DBLP DOI BibTeX RDF |
ad hoc network, mobility, scalability, context-aware, coordination |
| 1 | Gian Pietro Picco, Gruia-Catalin Roman, Peter J. McCann |
Reasoning about code mobility with mobile UNITY. |
ACM Trans. Softw. Eng. Methodol. |
2001 |
DBLP DOI BibTeX RDF |
mobile agent, UNITY, code mobility |
| 1 | Gruia-Catalin Roman, Amy L. Murphy, Gian Pietro Picco |
Coordination and Mobility. |
Coordination of Internet Agents: Models, Technologies, and Applications |
2001 |
DBLP BibTeX RDF |
|
| 1 | Amy L. Murphy, Gian Pietro Picco, Gruia-Catalin Roman |
LIME: A Middleware for Physical and Logical Mobility. |
ICDCS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Gruia-Catalin Roman, Qingfeng Huang, Ali Hazemi |
Consistent Group Membership in Ad Hoc Networks. |
ICSE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Gruia-Catalin Roman, Gian Pietro Picco |
Workshop on Software Engineering and Mobility. |
ICSE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Mihail Eduard Tudoreanu, Delbert Hart, Gruia-Catalin Roman |
Reshapeable Visualizations. |
ISMSE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | António Porto, Gruia-Catalin Roman (eds.) |
Coordination Languages and Models, 4th International Conference, COORDINATION 2000, Limassol, Cyprus, September 11-13, 2000, Proceedings |
COORDINATION |
2000 |
DBLP BibTeX RDF |
|
| 1 | Gian Pietro Picco, Amy L. Murphy, Gruia-Catalin Roman |
Developing mobile computing applications with LIME. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Gruia-Catalin Roman, Gian Pietro Picco, Amy L. Murphy |
Software engineering for mobility: a roadmap. |
ICSE - Future of SE Track |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter J. McCann, Gruia-Catalin Roman |
Modeling Mobile IP in Mobile UNITY. |
ACM Trans. Softw. Eng. Methodol. |
1999 |
DBLP DOI BibTeX RDF |
mobile UNITY, transient interactions, mobile computing, formal methods, synchronization, IP, weak consistency, shared variables |
| 1 | Cecilia Mascolo, Gian Pietro Picco, Gruia-Catalin Roman |
A Fine-Grained Model for Code Mobility. |
ESEC / SIGSOFT FSE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Gian Pietro Picco, Amy L. Murphy, Gruia-Catalin Roman |
LIME: Linda Meets Mobility. |
ICSE |
1999 |
DBLP BibTeX RDF |
Linda |
| 1 | Peter J. McCann, Gruia-Catalin Roman |
Compositional Programming Abstractions for Mobile Computing. |
IEEE Trans. Software Eng. |
1998 |
DBLP DOI BibTeX RDF |
Mobile UNITY, transient interactions, mobile computing, Formal methods, synchronization, weak consistency, shared variables |
| 1 | Gruia-Catalin Roman, James C. Hu |
Plastic transformations: A method for building dependable distributed Applications. |
IEE Proceedings - Software |
1998 |
DBLP BibTeX RDF |
|
| 1 | Gruia-Catalin Roman, Peter J. McCann |
An Introduction to Mobile UNITY. |
IPPS/SPDP Workshops |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Gruia-Catalin Roman, Peter J. McCann, Jerome Y. Plun |
Mobile UNITY: Reasoning and Specification in Mobile Computing. |
ACM Trans. Softw. Eng. Methodol. |
1997 |
DBLP DOI BibTeX RDF |
mobile UNITY, transient interactions, mobile computing, formal methods, synchronization, weak consistency, shared variables |
| 1 | Peter J. McCann, Gruia-Catalin Roman |
Mobile UNITY Coordination Constructs Applied to Packet Forwarding for Mobile Hosts. |
COORDINATION |
1997 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")