% This file was created with JabRef 2.3.1.
% Encoding: UTF-8

@ARTICLE{Anastasi2004a,
  author = {Anastasi, Giuseppe and Borgia, Eleonora and Conti, Marco and Gregori,
	Enrico},
  title = {Wi-Fi in Ad Hoc Mode: A Measurement Study},
  year = {2004},
  pages = {145--},
  acmid = {978692},
  address = {Washington, DC, USA},
  booktitle = {Proceedings of the Second IEEE International Conference on Pervasive
	Computing and Communications (PerCom'04)},
  isbn = {0-7695-2090-1},
  publisher = {IEEE Computer Society},
  series = {PERCOM '04},
  url = {http://portal.acm.org/citation.cfm?id=977406.978692}
}

@INPROCEEDINGS{Anastasi2004,
  author = {Anastasi, G. and Falchi, A. and Passarella, A. and Conti, M. and
	Gregori, E.},
  title = {Performance measurements of motes sensor networks},
  booktitle = {Proceedings of the 7th ACM international symposium on Modeling, analysis
	and simulation of wireless and mobile systems},
  year = {2004},
  series = {MSWiM '04},
  pages = {174--181},
  address = {New York, NY, USA},
  publisher = {ACM},
  acmid = {1023695},
  doi = {http://doi.acm.org/10.1145/1023663.1023695},
  isbn = {1-58113-953-5},
  keywords = {mica motes, sensor networks},
  location = {Venice, Italy},
  numpages = {8},
  url = {http://doi.acm.org/10.1145/1023663.1023695}
}

@ARTICLE{Ardagna2008,
  author = {Ardagna, D. and Francalanci, C. and Trubian, M.},
  title = {Joint Optimization of Hardware and Network Costs for Distributed
	Computer Systems},
  journal = {Systems, Man and Cybernetics, Part A: Systems and Humans, IEEE Transactions
	on},
  year = {2008},
  volume = {38},
  pages = {470 -484},
  number = {2},
  month = march,
  doi = {10.1109/TSMCA.2007.914749},
  issn = {1083-4427},
  keywords = {cost minimization;distributed computer systems;hardware-network joint
	optimization;heuristic optimization approach;information technology
	infrastructure;multisite computer system;cost reduction;distributed
	processing;optimisation;}
}

@ARTICLE{Balsamo2004,
  author = {Balsamo, S. and Di Marco, A. and Inverardi, P. and Simeoni, M.},
  title = {Model-based performance prediction in software development: a survey},
  journal = {Software Engineering, IEEE Transactions on},
  year = {2004},
  volume = {30},
  pages = { 295 - 310},
  number = {5},
  month = may,
  doi = {10.1109/TSE.2004.9},
  issn = {0098-5589},
  keywords = { model-based performance prediction; requirement analysis level; software
	architecture level; software development process; software performance
	analysis; software verification; formal verification; software performance
	evaluation; software process improvement;}
}

@ARTICLE{Bernardi2002,
  author = {Bernardi, Simona and Donatelli, Susanna and Merseguer, Jos\'{e}},
  title = {From UML sequence diagrams and statecharts to analysable petri net
	models},
  year = {2002},
  pages = {35--45},
  acmid = {584376},
  address = {New York, NY, USA},
  booktitle = {Proceedings of the 3rd international workshop on Software and performance},
  doi = {http://doi.acm.org/10.1145/584369.584376},
  isbn = {1-58113-563-7},
  keywords = {GSPN, UML, compositionality, modeling},
  location = {Rome, Italy},
  numpages = {11},
  publisher = {ACM},
  series = {WOSP '02},
  url = {http://doi.acm.org/10.1145/584369.584376}
}

@ARTICLE{Binkert2006,
  author = {Binkert, Nathan L. and Dreslinski, Ronald G. and Hsu, Lisa R. and
	Lim, Kevin T. and Saidi, Ali G. and Reinhardt, Steven K.},
  title = {The M5 Simulator: Modeling Networked Systems},
  journal = {IEEE Micro},
  year = {2006},
  volume = {26},
  pages = {52--60},
  month = {July},
  acmid = {1159085},
  address = {Los Alamitos, CA, USA},
  doi = {10.1109/MM.2006.82},
  issn = {0272-1732},
  issue = {4},
  keywords = {M5, network I/O, TCP/IP, networked systems},
  numpages = {9},
  publisher = {IEEE Computer Society Press},
  url = {http://portal.acm.org/citation.cfm?id=1158826.1159085}
}

@BOOK{Booch2005,
  title = {Unified Modeling Language User Guide, The (2nd Edition) (Addison-Wesley
	Object Technology Series)},
  publisher = {Addison-Wesley Professional},
  year = {2005},
  author = {Booch, Grady and Rumbaugh, James and Jacobson, Ivar},
  isbn = {0321267974}
}

@MANUAL{Crossbow2005,
  title = {MTSMDA sensor and data acquisition boards
	
	user’s manual MTS101CA , MTS300CA , MTS310CA ,
	
	MDA300CA , MDA500CA},
  author = {Crossbow},
  owner = {ekrem},
  timestamp = {2010.11.29}
}

@MANUAL{Crossbow2003,
  title = {User Manual: MPR - Mote Processor Radio
	
	Board, MIB - Mote Interface, Programming Board User’s
	
	Manua},
  author = {Crossbow},
  year = {2003},
  owner = {ekrem},
  timestamp = {2010.11.29}
}

@ARTICLE{Francalanci2009,
  author = {Francalanci, C. and Giacomazzi, P. and Poli, A.},
  title = {Cost Performance Optimization of Application and Context Aware Distributed
	Infrastructures},
  journal = {Systems, Man and Cybernetics, Part A: Systems and Humans, IEEE Transactions
	on},
  year = {2009},
  volume = {39},
  pages = {1200 -1213},
  number = {6},
  month = nov.
}

@INPROCEEDINGS{Gomaa2006,
  author = {Gomaa, Hassan},
  title = {Designing concurrent, distributed, and real-time applications with
	UML},
  booktitle = {Proceedings of the 28th international conference on Software engineering},
  year = {2006},
  series = {ICSE '06},
  pages = {1059--1060},
  address = {New York, NY, USA},
  publisher = {ACM},
  acmid = {1134504},
  doi = {http://doi.acm.org/10.1145/1134285.1134504},
  isbn = {1-59593-375-1},
  location = {Shanghai, China},
  numpages = {2},
  url = {http://doi.acm.org/10.1145/1134285.1134504}
}

@ARTICLE{Grassi2007,
  author = {Vincenzo Grassi and Raffaela Mirandola and Antonino Sabetta},
  title = {Filling the gap between design and performance/reliability models
	of component-based systems: A model-driven approach},
  journal = {Journal of Systems and Software},
  year = {2007},
  volume = {80},
  pages = {528 - 558},
  number = {4},
  note = {Software Performance, 5th International Workshop on Software and
	Performance},
  doi = {DOI: 10.1016/j.jss.2006.07.023},
  issn = {0164-1212},
  keywords = {Performance analysis},
  url = {http://www.sciencedirect.com/science/article/B6V0N-4KST3CK-1/2/73c5b9e936ab71a8170359be063c6997}
}

@ARTICLE{Hill2002,
  author = {Hill, Jason L. and Culler, David E.},
  title = {Mica: A Wireless Platform for Deeply Embedded Networks},
  journal = {IEEE Micro},
  year = {2002},
  volume = {22},
  pages = {12--24},
  month = {November},
  acmid = {624560},
  address = {Los Alamitos, CA, USA},
  doi = {10.1109/MM.2002.1134340},
  issn = {0272-1732},
  issue = {6},
  numpages = {13},
  publisher = {IEEE Computer Society Press},
  url = {http://portal.acm.org/citation.cfm?id=623308.624560}
}

@INPROCEEDINGS{Lindemann2002,
  author = {Lindemann, Christoph and Th\"{u}mmler, Axel and Klemm, Alexander
	and Lohmann, Marco and Waldhorst, Oliver P.},
  title = {Performance analysis of time-enhanced UML diagrams based on stochastic
	processes},
  booktitle = {Proceedings of the 3rd international workshop on Software and performance},
  year = {2002},
  series = {WOSP '02},
  pages = {25--34},
  address = {New York, NY, USA},
  publisher = {ACM},
  acmid = {584375},
  doi = {http://doi.acm.org/10.1145/584369.584375},
  isbn = {1-58113-563-7},
  keywords = {QoS performance modeling, model evaluation techniques, tools and techniques,
	transient and steady-state analysis of generalized semi-Markov processes},
  location = {Rome, Italy},
  numpages = {10},
  url = {http://doi.acm.org/10.1145/584369.584375}
}

@INPROCEEDINGS{Liu2004,
  author = {Liu, Xin and Huang, Qingfeng and Zhang, Ying},
  title = {Combs, needles, haystacks: balancing push and pull for discovery
	in large-scale sensor networks},
  booktitle = {Proceedings of the 2nd international conference on Embedded networked
	sensor systems},
  year = {2004},
  series = {SenSys '04},
  pages = {122--133},
  address = {New York, NY, USA},
  publisher = {ACM},
  acmid = {1031510},
  doi = {http://doi.acm.org/10.1145/1031495.1031510},
  isbn = {1-58113-879-2},
  keywords = {data dissemination, pull, push, query, routing, sensor network},
  location = {Baltimore, MD, USA},
  numpages = {12},
  url = {http://doi.acm.org/10.1145/1031495.1031510}
}

@INPROCEEDINGS{Menasce1997,
  author = {Menasc\'{e}, Daniel A.},
  title = {A Framework for Software Performance Engineering of Client/Server
	Systems},
  booktitle = {Proc. 1997 Computer Measurement Group Conf.},
  year = {1997},
  owner = {ekrem},
  timestamp = {2010.11.26}
}

@ARTICLE{Menasce2000,
  author = {Menasc\'{e}, Daniel A. and Gomaa, Hassan},
  title = {A Method for Design and Performance Modeling of Client/Server Systems},
  journal = {IEEE Trans. Softw. Eng.},
  year = {2000},
  volume = {26},
  pages = {1066--1085},
  month = {November},
  acmid = {631255},
  address = {Piscataway, NJ, USA},
  doi = {10.1109/32.881718},
  issn = {0098-5589},
  issue = {11},
  keywords = {Software performance engineering, performance models, client/server
	systems, queuing networks, database query optimization, UML, CLISSPE.},
  numpages = {20},
  publisher = {IEEE Press},
  url = {http://portal.acm.org/citation.cfm?id=630825.631255}
}

@TECHREPORT{Menasce1997a,
  author = {D.A. Menascé},
  title = {CLISSPE: A Language for Client/Server Software Performance Engineering},
  institution = {Dept. of Computer Science, George Mason University},
  year = {1997},
  owner = {ekrem},
  timestamp = {2010.11.26}
}

@INPROCEEDINGS{Miguel2000,
  author = {de Miguel, Miguel and Lambolais, Thomas and Hannouz, Mehdi and Betg\'{e}-Brezetz,
	St\'{e}phane and Piekarec, Sophie},
  title = {UML extensions for the specification and evaluation of latency constraints
	in architectural models},
  booktitle = {Proceedings of the 2nd international workshop on Software and performance},
  year = {2000},
  series = {WOSP '00},
  pages = {83--88},
  address = {New York, NY, USA},
  publisher = {ACM},
  acmid = {350411},
  doi = {http://doi.acm.org/10.1145/350391.350411},
  isbn = {1-58113-195-X},
  keywords = {UML extension techniques, performance constraints evaluation, real-time
	object-oriented systems, temporal requirements},
  location = {Ottawa, Ontario, Canada},
  numpages = {6},
  url = {http://doi.acm.org/10.1145/350391.350411}
}

@INPROCEEDINGS{Osman2010,
  author = {Osman, R. and Awan, I. and Woodward, M.E.},
  title = {Performance Evaluation of Database Designs},
  booktitle = {Advanced Information Networking and Applications (AINA), 2010 24th
	IEEE International Conference on},
  year = {2010},
  pages = {42 -49},
  month = april,
  doi = {10.1109/AINA.2010.51},
  issn = {1550-445X},
  keywords = {TPC-C benchmark;database design queueing network model;database designs;database
	system implementation;formal specification;queueing network performance
	evaluation model;system response time;database management systems;formal
	specification;performance evaluation;queueing theory;}
}

@BOOK{Ramakrishnan1999,
  title = {Database Management Systems},
  publisher = {McGraw-Hill, Inc.},
  year = {1999},
  author = {Ramakrishnan, Raghu and Gehrke, Johannes},
  address = {New York, NY, USA},
  edition = {2nd},
  isbn = {0072322063}
}

@ARTICLE{Swami1994,
  author = {Swami, Arun and Schiefer, K. Bernhard},
  title = {Estimating page fetches for index scans with finite LRU buffers},
  journal = {SIGMOD Rec.},
  year = {1994},
  volume = {23},
  pages = {173--184},
  month = {May},
  acmid = {191877},
  address = {New York, NY, USA},
  doi = {http://doi.acm.org/10.1145/191843.191877},
  issn = {0163-5808},
  issue = {2},
  numpages = {12},
  publisher = {ACM},
  url = {http://doi.acm.org/10.1145/191843.191877}
}

@INPROCEEDINGS{Woo2001,
  author = {Woo, Alec and Culler, David E.},
  title = {A transmission control scheme for media access in sensor networks},
  booktitle = {Proceedings of the 7th annual international conference on Mobile
	computing and networking},
  year = {2001},
  series = {MobiCom '01},
  pages = {221--235},
  address = {New York, NY, USA},
  publisher = {ACM},
  acmid = {381699},
  doi = {http://doi.acm.org/10.1145/381677.381699},
  isbn = {1-58113-422-3},
  location = {Rome, Italy},
  numpages = {15},
  url = {http://doi.acm.org/10.1145/381677.381699}
}

@ARTICLE{Murray1995,
  author = {C. Murray Woodside and John E. Neilson and Dorina C. Petriu and and
	Shikharesh Majumdar},
  title = {The Stochastic Rendezvous Network Model for Performance of Synchronous
	Client-Server-like Distributed Software},
  journal = {IEEE Transactions on Computers},
  year = {1995},
  volume = {44},
  pages = {20-34},
  address = {Los Alamitos, CA, USA},
  doi = {http://doi.ieeecomputersociety.org/10.1109/12.368012},
  issn = {0018-9340},
  publisher = {IEEE Computer Society}
}

@ARTICLE{Yao1979,
  author = {Yao, S. Bing},
  title = {Optimization of query evaluation algorithms},
  journal = {ACM Trans. Database Syst.},
  year = {1979},
  volume = {4},
  pages = {133--155},
  month = {June},
  acmid = {320072},
  address = {New York, NY, USA},
  doi = {http://doi.acm.org/10.1145/320071.320072},
  issn = {0362-5915},
  issue = {2},
  keywords = {data manipulation language, database optimization, inverted file,
	query language, query optimization, relational data model},
  numpages = {23},
  publisher = {ACM},
  url = {http://doi.acm.org/10.1145/320071.320072}
}

@MISC{Ye02,
  author = {Wei Ye and John Heidemann and Deborah Estrin and Abstract—this Paper
	Proposes S-mac},
  title = {An Energy-Efficient MAC Protocol for Wireless Sensor Networks},
  year = {2002}
}

@INPROCEEDINGS{Ye2006,
  author = {Ye, Wei and Silva, Fabio and Heidemann, John},
  title = {Ultra-low duty cycle MAC with scheduled channel polling},
  booktitle = {Proceedings of the 4th international conference on Embedded networked
	sensor systems},
  year = {2006},
  series = {SenSys '06},
  pages = {321--334},
  address = {New York, NY, USA},
  publisher = {ACM},
  acmid = {1182839},
  doi = {http://doi.acm.org/10.1145/1182807.1182839},
  isbn = {1-59593-343-3},
  keywords = {energy efficiency, medium access control, scheduling, ultra-low duty
	cycle, wireless sensor networks},
  location = {Boulder, Colorado, USA},
  numpages = {14},
  url = {http://doi.acm.org/10.1145/1182807.1182839}
}

@MISC{BerkeleyTOS,
  title = {Berkeley TinyOS project http://webs.cs.berkeley.edu/tos/},
  owner = {ekrem},
  timestamp = {2010.11.29}
}

@MISC{CrossbowMica,
  title = {Crossbow Technology Inc. Mica2 data sheet. http://www.xbow.com/.},
  owner = {ekrem},
  timestamp = {2010.11.29}
}

@MISC{tinyOS,
  title = {http://www.tinyos.net/},
  owner = {ekrem},
  timestamp = {2010.11.29}
}

