Search results for "deployment"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Ita Richardson	SPI Models: What Characteristics are Required for Small Software Development Companies?	Softw. Qual. J.	2002	DBLP DOI BibTeX RDF	flexible model, software process, software process improvement, return on investment, business goals, small companies, quality function deployment
12	William R. Anderson, Larry Fields, Thelma E. Simons, Kathy Pribbenow, Christopher Jones	Crossing the bridge while you build it: a smooth migration to new servers and services.	SIGUCCS	2001	DBLP DOI BibTeX RDF	Microsoft Exchange, Microsoft Outlook, new server, roll-out, Microsoft Exchange, migration, e-mail, calendar, software deployment, panel, new service
12	Wenyu Jiang, Jonathan Lennox, Henning Schulzrinne, Kundan Singh	Towards junking the PBX: deploying IP telephony.	NOSSDAV	2001	DBLP DOI BibTeX RDF	PSTN/IP interoperability, VoIP test-bed, internet telephony deployment, SIP
12	Eckhardt Holz, Olaf Kath, Marc Born	Manufacturing Software Components from Object-Oriented Design Models.	EDOC	2001	DBLP DOI BibTeX RDF	Component Support Platform, Configuration and Deployment, Interaction, Component, Code Generation, UML Profile, MOF
12	Yoram Reich	Improving the Rationale Capture Capability of QFD.	Eng. Comput.	2000	DBLP DOI BibTeX RDF	Design argumentation, House of quality, Communication, Shared memory, Collaborative design, Design rationale, Graph models, Research methodology, Design practice, Quality function deployment
12	Ralph Deters	Developing and deploying a multi agent system.	Agents	2000	DBLP DOI BibTeX RDF	MAS, dependability, deployment
12	Allen S. Parrish, Brandon Dixon, David P. Hale, Joanne E. Hale	A Case Study Approach to Teaching Component Based Software Engineering.	CSEE&T	2000	DBLP DOI BibTeX RDF	client-server systems, Component-based software, software deployment
12	Bobby Krupczak, Kenneth L. Calvert, Mostafa H. Ammar	Increasing the portability and re-usability of protocol code.	IEEE/ACM Trans. Netw.	1997	DBLP DOI BibTeX RDF	protocol deployment, protocol subsystem, portability, protocol implementation
12	Dennis Heimbigner, Alexander L. Wolf	Software in the field needs process too.	ISPW	1996	DBLP DOI BibTeX RDF	software operations, software process technology, deployment gap, software engineering, software development, configuration management, requirements validation
11	Xiang Cao, Siân E. Lindley, John Helmes, Abigail Sellen	Telling the whole story: anticipation, inspiration and reputation in a field deployment of TellTable.	CSCW	2010	DBLP DOI BibTeX RDF	collaboration, community, children, creativity, field studies, storytelling, sharing, play, interactive tabletop
11	Hengchang Liu, Jingyuan Li, Zhiheng Xie, Shan Lin 0001, Kamin Whitehouse, John A. Stankovic, David J. Siu	Automatic and robust breadcrumb system deployment for indoor firefighter applications.	MobiSys	2010	DBLP DOI BibTeX RDF	breadcrumb systems, optimization, sensor networks, reliability, firefighter
11	Hartmut Schorrig, Thomas Henties	Java2C - developing in Java, deployment in C: short paper.	JTRES	2010	DBLP DOI BibTeX RDF
11	Guang Tan, Stephen A. Jarvis, Anne-Marie Kermarrec	Connectivity-Guaranteed and Obstacle-Adaptive Deployment Schemes for Mobile Sensor Networks.	IEEE Trans. Mob. Comput.	2009	DBLP DOI BibTeX RDF
11	Mickaël Gay, Lucy T. Zhang	Numerical studies on fluid-structure interactions of stent deployment and stented arteries.	Eng. Comput.	2009	DBLP DOI BibTeX RDF	Immersed finite element method, Angioplasty stent, Thrombosis, Fluid-structure interaction
11	Partha Dasgupta, Amiya Bhattacharya, Meddage S. Fernando	Poster abstract: Community sensor grids deployment and usage.	IPSN	2009	DBLP DOI BibTeX RDF
11	Morteza Lahijanian, Marius Kloetzer, Sara Itani, Calin Belta, Sean B. Andersson	Automatic deployment of autonomous cars in a Robotic Urban-Like Environment (RULE).	ICRA	2009	DBLP DOI BibTeX RDF
11	Ning Gui, Vincenzo De Florio, Hong Sun, Chris Blondia	ACCADA: A Framework for Continuous Context-Aware Deployment and Adaptation.	SSS	2009	DBLP DOI BibTeX RDF	context-specific knowledge, run-time composition, service oriented architecture, Adaptive middleware
11	Xu Li 0001, Nathalie Mitton, Isabelle Ryl, David Simplot	Localized Sensor Self-deployment with Coverage Guarantee in Complex Environment.	ADHOC-NOW	2009	DBLP DOI BibTeX RDF
11	Niusha Shafiabady, Mohammad Ali Nekoui	Optimal Evolutionary-Based Deployment of Mobile Sensor Networks.	AICI	2009	DBLP DOI BibTeX RDF	Fully Informed Particle Swarm Optimization, Mobile sensor networks
11	Jeongmin Park, Hyunsang Youn, Joonhoon Lee, Eunseok Lee 0001	Automatic generation techniques of a resource monitor based on deployment diagram.	ICHIT	2009	DBLP DOI BibTeX RDF	autonomic computing, self-healing
11	Carol Sin	Image baby image, reloaded!: automating vista deployment.	SIGUCCS	2009	DBLP DOI BibTeX RDF	BartPE, declone, vista, imaging, automation, scripts, active directory, Ghost
11	Hannes Frey, Kristen Pind	Dynamic Source Routing versus Greedy Routing in a Testbed Sensor Network Deployment.	EWSN	2009	DBLP DOI BibTeX RDF
11	Dru Sepulveda, Sebastien Goasguen	The Deployment and Maintenance of a Condor-Based Campus Grid.	GPC	2009	DBLP DOI BibTeX RDF
11	Luca Compagna, Ulrich Flegel, Volkmar Lotz	Towards Validating Security Protocol Deployment in the Wild.	COMPSAC (2)	2009	DBLP DOI BibTeX RDF
11	Hao Yin, Xuening Liu, Tongyu Zhan, Vyas Sekar, Feng Qiu, Chuang Lin 0002, Hui Zhang 0001, Bo Li 0001	Design and deployment of a hybrid CDN-P2P system for live video streaming: experiences with LiveSky.	ACM Multimedia	2009	DBLP DOI BibTeX RDF	peer-to-peer, content delivery networks, live streaming
11	Tessa Daniel, Elena I. Gaura, James Brusey	Wireless Sensor Networks to Enable the Passive House - Deployment Experiences.	EuroSSC	2009	DBLP DOI BibTeX RDF
11	Panagiotis Stathopoulos, Alexandros Soumplis, Nikos Houssos	The Case Study of an F/OSS Virtualization Platform Deployment and Quantitative Results. (PDF / PS)	OSS	2009	DBLP DOI BibTeX RDF
11	Kashyap Dixit, Munish Goyal, Pranav Gupta, Nanda Kambhatla, Rohit Lotlikar, Debapriyo Majumdar, Gyana R. Parija, Sambuddha Roy, Soujanya Soni	Effective Decision Support for Workforce Deployment Service Systems.	IEEE SCC	2009	DBLP DOI BibTeX RDF
11	You-Chiun Wang, Yu-Chee Tseng	Distributed Deployment Schemes for Mobile Wireless Sensor Networks to Ensure Multilevel Coverage.	IEEE Trans. Parallel Distributed Syst.	2008	DBLP DOI BibTeX RDF
11	Claudio Pinello, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli	Fault-Tolerant Distributed Deployment of Embedded Control Software.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2008	DBLP DOI BibTeX RDF
11	Anjaneyulu Pasala, Yannick L. H. Lew Yaw Fung, Fady Akladios, Appala Raju G., Ravi Prakash Gorthi	Selection of Regression Test Suite to Validate Software Applications upon Deployment of Upgrades.	Australian Software Engineering Conference	2008	DBLP DOI BibTeX RDF	Software Mqaintenance, Software Testing, Change Impact Analysis, Regression Tests Selection
11	Ngo Trong Canh, Young-Koo Lee, Sungyoung Lee	HGKM: A Group-Based Key Management Scheme for Sensor Networks Using Deployment Knowledge.	CNSR	2008	DBLP DOI BibTeX RDF	sensor networks, network security, Key predistribution
11	Binayak Roy, H. Harry Asada	Concurrent multi-link deployment of a gravity-assisted underactuated snake robot for aircraft assembly.	ICRA	2008	DBLP DOI BibTeX RDF
11	Xingyan Jiang, Yuanzhu Peter Chen, Tina Yu	Dynamic Cooperative Coevolutionary Sensor Deployment Via Localized Fitness Evaluation.	PPSN	2008	DBLP DOI BibTeX RDF
11	Olga Papaemmanouil, Sujoy Basu, Sujata Banerjee	Adaptive in-network query deployment for shared stream processing environments.	ICDE Workshops	2008	DBLP DOI BibTeX RDF
11	Wei Wang 0015, Hamid Sharif, Michael Hempel, Ting Zhou, Puttipong Mahasukhon	Throughput vs. Distance Tradeoffs and Deployment Considerations for a Multi-Hop IEEE 802.16e Railroad Test Bed.	VTC Spring	2008	DBLP DOI BibTeX RDF
11	Ralf Pabst, Daniel C. Schultz, Bernhard Walke	Performance Evaluation of a Relay-Based 4G Network Deployment with Combined SDMA/OFDMA and Resource Partitioning.	VTC Spring	2008	DBLP DOI BibTeX RDF
11	Charlotte Tang, Sheelagh Carpendale	Evaluating the deployment of a mobile technology in a hospital ward.	CSCW	2008	DBLP DOI BibTeX RDF	computer-on-wheels, personal notes, shift change, information flow, observation, mobile technology
11	Luca Greco 0003, Matteo Gaeta, Benedetto Piccoli	Deployment of sensors in a network-like environment.	CDC	2008	DBLP DOI BibTeX RDF
11	Denis Caromel, Mario Leyton	ProActive Parallel Suite: From Active Objects-Skeletons-Components to Environment and Deployment.	Euro-Par Workshops	2008	DBLP DOI BibTeX RDF
11	David Chu, Feng Zhao 0001, Jie Liu 0001, Michel Goraczko	Que: A Sensor Network Rapid Prototyping Tool with Application Experiences from a Data Center Deployment.	EWSN	2008	DBLP DOI BibTeX RDF
11	Sebastien Goasguen, Krishna Madhavan, David Wolinsky, Renato J. O. Figueiredo, Jaime Frey, Alain Roy, Paul Ruth, Dongyan Xu	Middleware Integration and Deployment Strategies for Cyberinfrastructures.	GPC	2008	DBLP DOI BibTeX RDF
11	Masahiro Bessho, Shinsuke Kobayashi, Noboru Koshizuka, Ken Sakamura	uNavi : Implementation and Deployment of a Place-Based Pedestrian Navigation System.	COMPSAC	2008	DBLP DOI BibTeX RDF	Ubiquitous Computing, Context-awareness, Location-based Service, Pedestrian Navigation System
11	Whai-En Chen	An example of WiMAX application deployment in campus environments.	Mobility Conference	2008	DBLP DOI BibTeX RDF	authentication authorization and accounting (AAA), instant messaging and presence service (IMPS), session initiation protocol (SIP), WiMAX, voice over IP (VoIP)
11	Russ Miller, Jonathan J. Bednasz, Kenneth Chiu, Steven M. Gallo, Madhusudhan Govindaraju	Grid-based research, development, and deployment in New York State.	IPDPS	2008	DBLP DOI BibTeX RDF
11	Guillermo Molina, Enrique Alba 0001	Wireless Sensor Network Deployment Using a Memetic Simulated Annealing.	SAINT	2008	DBLP DOI BibTeX RDF	Wireless Sensor Networks, metaheuristics
11	Bing He 0004, Bin Xie 0001, Dharma P. Agrawal	Internet Gateway Deployment Optimization in a Multi-Channel Multi-Radio Wireless Mesh Network.	WCNC	2008	DBLP DOI BibTeX RDF
11	Ichiro Satoh	Context-Aware Deployment of Services in Public Spaces.	SEUS	2008	DBLP DOI BibTeX RDF
11	Vincent Gramoli, Anne-Marie Kermarrec, Erwan Le Merrer	SONDe, a Self-Organizing Object Deployment Algorithm in Large-Scale Dynamic Systems.	EDCC	2008	DBLP DOI BibTeX RDF
11	Carmen L. Padrón, Telmo Zarraonandia, Paloma Díaz 0001, Ignacio Aedo	The Evaluation within the Development and Deployment of IMS LD-Based Didactic Materials: The MD2 + Runtime Adaptation Approach.	ICALT	2008	DBLP DOI BibTeX RDF
11	Bartlomiej Blaszczyszyn, Bozidar Radunovic	Using Transmit-Only Sensors to Reduce Deployment Cost of Wireless Sensor Networks.	INFOCOM	2008	DBLP DOI BibTeX RDF
11	Chia-Hui Tai, Jiang Zhu, Nandita Dukkipati	Making Large Scale Deployment of RCP Practical for Real Networks.	INFOCOM	2008	DBLP DOI BibTeX RDF
11	Luís D. Pedrosa, Pedro Melo, Rui Manuel Rocha, Rui Neves 0001	A Flexible Approach to WSN Deployment.	ICCCN	2008	DBLP DOI BibTeX RDF
11	Guang Tan, Stephen A. Jarvis, Anne-Marie Kermarrec	Connectivity-Guaranteed and Obstacle-Adaptive Deployment Schemes for Mobile Sensor Networks.	ICDCS	2008	DBLP DOI BibTeX RDF
11	Servesh Singh, M. M. Gore	Cluster management in the known area of deployment for wireless sensor network.	ICON	2008	DBLP DOI BibTeX RDF
11	Yu-Kai Huang, Pi-Cheng Hsiu, Wei-Ni Chu, Kuan-Chang Hung, Ai-Chun Pang, Tei-Wei Kuo, Min Di, Hua-Wei Fang	An Integrated Deployment Tool for ZigBee-Based Wireless Sensor Networks.	EUC (1)	2008	DBLP DOI BibTeX RDF
11	Gerald Bauer, Paul Lukowicz	Developing a Sub Room Level Indoor Location System for Wide Scale Deployment in Assisted Living Systems.	ICCHP	2008	DBLP DOI BibTeX RDF	Human Monitoring System, ROI Localization, Home Care Appliances, Activity Recognition
11	Ana M. Bernardos, Paula Tarrío, Josué Iglesias, José R. Casar	Design and Deployment of Context-Aware Services: A Prototyping Case-Study.	DCAI	2008	DBLP DOI BibTeX RDF	ubiquitous architectures, mobile services, Context-aware services
11	Novella Bartolini, Tiziana Calamoneri, Emanuele G. Fusco, Annalisa Massini, Simone Silvestri	Autonomous Deployment of Self-Organizing Mobile Sensors for a Complete Coverage.	IWSOS	2008	DBLP DOI BibTeX RDF
11	Rebecca Angeles	Anticipated IT infrastructure and supply chain integration capabilities for RFID and their associated deployment outcomes.	iiWAS	2008	DBLP DOI BibTeX RDF	IT infrastructure integration, market knowledge creation, operational efficiency, supply chain process integration, radio frequency identification (RFID), supply chain management, exploration, exploitation
11	Florian Waldner, Martin Nemetz, Claudia Steinberger	eduWEAVER: Integrated Design, Development and Deployment of eLearning Scenarios.	ICIW	2008	DBLP DOI BibTeX RDF	reference process, web application, learning management systems, eLearning
11	Daniel Lázaro Iglesias, Joan Manuel Marquès, Josep Jorba	An Architecture for Decentralized Service Deployment.	CISIS	2008	DBLP DOI BibTeX RDF
11	Mario García-Lozano, Luis Alonso 0001, Fernando J. Casadevall, Silvia Ruiz, Luís M. Correia	Enhanced Analysis of WCDMA Networks with Repeaters Deployment.	IEEE Trans. Wirel. Commun.	2007	DBLP DOI BibTeX RDF
11	Xiaochun Xu, Sartaj Sahni	Approximation Algorithms for Sensor Deployment.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	point coverage, multimodal sensors, Wireless sensor networks, approximation algorithm
11	Maxim A. Batalin, Gaurav S. Sukhatme	The Design and Analysis of an Efficient Local Algorithm for Coverage and Exploration Based on Sensor Network Deployment.	IEEE Trans. Robotics	2007	DBLP DOI BibTeX RDF
11	Thanongsak Himsoon, W. Pam Siriwongpairat, Zhu Han 0001, K. J. Ray Liu	Lifetime maximization via cooperative nodes and relay deployment in wireless networks.	IEEE J. Sel. Areas Commun.	2007	DBLP DOI BibTeX RDF
11	Joshua Lifton, Mark Feldmeier, Yasuhiro Ono, Cameron Lewis, Joseph A. Paradiso	A platform for ubiquitous sensor deployment in occupational and domestic environments.	IPSN	2007	DBLP DOI BibTeX RDF
11	Pierre Parrend, Samuel Galice, Stéphane Frénot, Stéphane Ubéda	Identity-Based Cryptosystems for Enhanced Deployment of OSGi Bundles.	SECURWARE	2007	DBLP DOI BibTeX RDF
11	Artin Avanes, Johann Christoph Freytag, Christof Bornhövd	Distributed Service Deployment in Mobile Ad-Hoc Networks.	MobiQuitous	2007	DBLP DOI BibTeX RDF
11	Colin D'Souza, Byung Hwa Kim, Richard M. Voyles	Morphing Bus: A rapid deployment computing architecture for high performance, resource-constrained robots.	ICRA	2007	DBLP DOI BibTeX RDF
11	Spring Berman, Ádám M. Halász, Vijay Kumar 0001, Stephen Pratt	Bio-Inspired Group Behaviors for the Deployment of a Swarm of Robots to Multiple Destinations.	ICRA	2007	DBLP DOI BibTeX RDF
11	Konstantinos Stamkopoulos, Evaggelia Pitoura, Panos Vassiliadis	Efficient Deployment of Web Service Workflows.	ICDE Workshops	2007	DBLP DOI BibTeX RDF
11	Michael Köhler 0001, Matthias Wester-Ebbinghaus	Closing the Gap Between Organizational Models and Multi-Agent System Deployment.	CEEMAS	2007	DBLP DOI BibTeX RDF
11	Jay A. McCarthy, Shriram Krishnamurthi, Joshua D. Guttman, John D. Ramsdell	Compiling cryptographic protocols for deployment on the web.	WWW	2007	DBLP DOI BibTeX RDF	CPPL, cryptographic protocols, HTTP, sessions
11	Ian Johnstone, James Nicholson, Babar Shehzad, Jeff Slipp	Experiences from a wireless sensor network deployment in a petroleum environment.	IWCMC	2007	DBLP DOI BibTeX RDF	wireless sensor networks, embedded systems, heterogeneous networks
11	Raheleh B. Dilmaghani, Ramesh R. Rao	A Reliable Wireless Mesh Infrastructure Deployment at Crisis Site.	IPCCC	2007	DBLP DOI BibTeX RDF
11	Sang Jeong Lee, Kyung Dong Ryu, Kang-Won Lee, Jong-Deok Choi	Improving the Performance of Web Services Using Deployment-Time Binding Selection.	ICWS	2007	DBLP DOI BibTeX RDF
11	Pu Liu, Michael J. Lewis	Uniform Dynamic Deployment of Web and Grid Services.	ICWS	2007	DBLP DOI BibTeX RDF
11	Kamalakar Karlapalem, P. Radha Krishna 0001	State of the Art in Modeling and Deployment of Electronic Contracts.	ICWS	2007	DBLP DOI BibTeX RDF
11	Matthias Dyer, Jan Beutel, Thomas Kalt, Patrice Oehen, Lothar Thiele, Kevin Martin, Philipp Blum	Deployment Support Network.	EWSN	2007	DBLP DOI BibTeX RDF
11	Feryal-Kamila Moulaï, Gregory Mounie	Bi-criteria Scheduling Algorithm with Deployment in Cluster.	IPDPS	2007	DBLP DOI BibTeX RDF
11	Kazutaka Matsuzaki, Shinichi Honiden	Increasing the Ease of Deployment in Ubiquitous Environments.	PerCom Workshops	2007	DBLP DOI BibTeX RDF
11	Franck Angella, Livier Reithler, Frédéric Gallesio	Optimal deployment of cameras for video surveillance systems.	AVSS	2007	DBLP DOI BibTeX RDF
11	Lei Wang 0017, Yaping Lin, Yonghe Liu	Key Distribution for Group-based Sensor Deployment Using a Novel Interconnection Graph.	WOWMOM	2007	DBLP DOI BibTeX RDF
11	Karl Aberer, Manfred Hauswirth, Ali Salehi	Invited Talk: Zero-Programming Sensor Network Deployment.	SAINT Workshops	2007	DBLP DOI BibTeX RDF
11	Tiago Camilo, Jorge Sá Silva, André Rodrigues 0001, Fernando Boavida	GENSEN: A Topology Generator for Real Wireless Sensor Networks Deployment.	SEUS	2007	DBLP DOI BibTeX RDF	Sensor Node Deployments, Simulators, Wireless Sensor Networks
11	Saqib Ali, Torab Torabi, Ben Soh	Rule component specification for business process deployment.	DEXA Workshops	2007	DBLP DOI BibTeX RDF
11	Fadi A. Aloul, Nagarajan Kandasamy	Sensor Deployment for Failure Diagnosis in Networked Aerial Robots: A Satisfiability-Based Approach.	SAT	2007	DBLP DOI BibTeX RDF	0-1 ILP, UAV networks, distributed systems, fault diagnosis, SAT
11	Yiming Ji, Saad Biaz, Shaoen Wu, Bing Qi	Optimal Sniffers Deployment On Wireless Indoor Localization.	ICCCN	2007	DBLP DOI BibTeX RDF
11	Niranjan Potnis, Atulya Mahajan, Kartik Gopalan, An-I Andy Wang	Evaluation of Mesh-Enhanced VANET Deployment Models.	ICCCN	2007	DBLP DOI BibTeX RDF
11	Sebastià Galmés	Lifetime planning for TDMA-based proactive WSN with structured deployment.	LANC	2007	DBLP DOI BibTeX RDF	time division multiple access (TDMA), data aggregation
11	Jürgen Dorn, Christoph Grün, Hannes Werthner, Marco Zapletal	A Survey of B2B Methodologies and Technologies: From Business Models towards Deployment Artifacts.	HICSS	2007	DBLP DOI BibTeX RDF
11	Yuncheng Zhu, Junxiu Lu, Maoke Chen	Potential Impacts of Four-Byte AS Numbers in Partial Deployment.	ICON	2007	DBLP DOI BibTeX RDF
11	Wei Fu, Xiaodong Gu 0001, Yuanyuan Wang 0001	Anti-aircraft Missile Deployment Optimization Using Hopfield Neural Network.	IJCNN	2007	DBLP DOI BibTeX RDF
11	Thomas King, Thomas Haenselmann, Wolfgang Effelsberg	Deployment, Calibration, and Measurement Factors for Position Errors in 802.11-Based Indoor Positioning Systems.	LoCA	2007	DBLP DOI BibTeX RDF
11	Meytal Tubi, Rami Puzis, Yuval Elovici	Deployment of DNIDS in Social Networks.	ISI	2007	DBLP DOI BibTeX RDF
11	Hsin Rau, Chien-Ping Liao, Wei-Jung Shiang, Chiu-Hsiang Lin	Using Fuzzy Theory for Packaging Attribute Deployment for New Notebook Computer Introduction.	IEA/AIE	2007	DBLP DOI BibTeX RDF	new product introduction, TOPIS, packaging, FMEA, QFD
11	Eric Charles Harris, Renan Krishna, Dan Chalmers, Geraldine Fitzpatrick, Mark Stringer	From development in the laboratory to deployment in the home: Trouble and strife with sensor networks.	LCN	2007	DBLP DOI BibTeX RDF	home applications, ubiquitous computing, energy, sensor nodes
11	Hemant K. Jain 0001, Calton Pu, Sridhar Iyengar, M. Brian Blake, Carl K. Chang	State of the Art in Modeling and Deployment of Electronic Contracts.	IEEE SCC	2007	DBLP DOI BibTeX RDF
11	Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli	A Framework for Modeling the Distributed Deployment of Synchronous Designs.	Formal Methods Syst. Des.	2006	DBLP DOI BibTeX RDF	Distributed systems, GALS, Desynchronization, Latency-insensitive design