Search dblp for Publications

export results for "toc:db/conf/hase/hase2007.bht:"

 download as .bib file

@inproceedings{DBLP:conf/hase/AlaeddineT07,
  author    = {Nasser Alaeddine and
               Jeff Tian},
  title     = {Analytic Model for Web Anomalies Classification},
  booktitle = {{HASE}},
  pages     = {395--396},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/AsadaOIK07,
  author    = {Masato Asada and
               Tomoyuki Ohta and
               Kenji Ishida and
               Yoshiaki Kakuda},
  title     = {Development of Custom Selling System Using Ad Hoc Networks},
  booktitle = {{HASE}},
  pages     = {397--398},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/AssayadY07,
  author    = {Ismail Assayad and
               Sergio Yovine},
  title     = {Modelling and Exploration Environment for Application Specific Multiprocessor
               Systems},
  booktitle = {{HASE}},
  pages     = {433--434},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/Auluck07,
  author    = {Nitin Auluck},
  title     = {Duplication Based Integrated Task and Message Scheduling on a Heterogeneous
               Network of Workstations (NOWs)},
  booktitle = {{HASE}},
  pages     = {429--430},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/BokorSSPS07,
  author    = {P{\'{e}}ter Bokor and
               Marco Serafini and
               {\'{A}}ron Sisak and
               Andr{\'{a}}s Pataricza and
               Neeraj Suri},
  title     = {Sustaining Property Verification of Synchronous Dependable Protocols
               Over Implementation},
  booktitle = {{HASE}},
  pages     = {169--178},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/BruningWM07,
  author    = {Stefan Br{\"{u}}ning and
               Stephan Wei{\ss}leder and
               Miroslaw Malek},
  title     = {A Fault Taxonomy for Service-Oriented Architecture},
  booktitle = {{HASE}},
  pages     = {367--368},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/ChinDNQ07,
  author    = {Wei{-}Ngan Chin and
               Cristina David and
               Huu Hai Nguyen and
               Shengchao Qin},
  title     = {Multiple Pre/Post Specifications for Heap-Manipulating Methods},
  booktitle = {{HASE}},
  pages     = {357--364},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/CookSP07,
  author    = {Stephen W. Cook and
               Bjarne Stroustrup and
               Scott M. Pike},
  title     = {An Early-Reply Based Framework: Reliable Concurrency that Is Verifiable},
  booktitle = {{HASE}},
  pages     = {405--406},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/Das07,
  author    = {Asesh Das},
  title     = {Information Assurance Architecture with Storyboarding Models},
  booktitle = {{HASE}},
  pages     = {377--378},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/DiRossi07,
  author    = {Michael D. DiRossi},
  title     = {Towards a High Assurance Secure Computing Platform},
  booktitle = {{HASE}},
  pages     = {381--382},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/DonachyPHS07,
  author    = {P. C. Donachy and
               Ronald H. Perrott and
               Terence J. Harmer and
               F. Sharkey},
  title     = {Finance Sector: Requirements for High Assurance within Spatial {SOA}
               Based Grid Infrastructures},
  booktitle = {{HASE}},
  pages     = {387--388},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/DuanC07,
  author    = {Lihua Duan and
               Jessica Chen},
  title     = {A Formal Approach to Website Maintenance},
  booktitle = {{HASE}},
  pages     = {419--420},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/DuanWC07,
  author    = {Lihua Duan and
               Yan Wang and
               Jessica Chen},
  title     = {Enhanced Traverse of Web Pages},
  booktitle = {{HASE}},
  pages     = {113--122},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/DuganPX07,
  author    = {Joanne Bechta Dugan and
               Ganesh J. Pai and
               Hong Xu},
  title     = {Combining Software Quality Analysis with Dynamic Event/Fault Trees
               for High Assurance Systems Engineering},
  booktitle = {{HASE}},
  pages     = {245--255},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/EbnenasirC07,
  author    = {Ali Ebnenasir and
               Betty H. C. Cheng},
  title     = {Pattern-Based Modeling and Analysis of Failsafe Fault-Tolerance in
               {UML}},
  booktitle = {{HASE}},
  pages     = {275--282},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/EtienneB07,
  author    = {Jean{-}Paul Etienne and
               Samia Bouzefrane},
  title     = {A Typed Compositional Language for Real-Time Systems},
  booktitle = {{HASE}},
  pages     = {63--72},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/FeinsteinNT07,
  author    = {David Y. Feinstein and
               V. S. S. Nair and
               Mitchell A. Thornton},
  title     = {Advances in Quantum Computing Fault Tolerance and Testing},
  booktitle = {{HASE}},
  pages     = {369--370},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/FitzgeraldTLV07,
  author    = {John S. Fitzgerald and
               Simon Tjell and
               Peter Gorm Larsen and
               Marcel Verhoef},
  title     = {Validation Support for Distributed Real-Time Embedded Systems in {VDM++}},
  booktitle = {{HASE}},
  pages     = {331--340},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/GarciaR07,
  author    = {Luis Garc{\'{\i}}a and
               Steve Roach},
  title     = {Model-Checker-Based Testing of {LTL} Specifications},
  booktitle = {{HASE}},
  pages     = {417--418},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/GillenRMS07,
  author    = {Matthew Gillen and
               Kurt Rohloff and
               Prakash Manghwani and
               Richard E. Schantz},
  title     = {Scalable, Adaptive, Time-Bounded Node Failure Detection},
  booktitle = {{HASE}},
  pages     = {179--186},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/GoldsbyKC07,
  author    = {Heather Goldsby and
               Sascha Konrad and
               Betty H. C. Cheng},
  title     = {Goal-Oriented Patterns for UML-Based Modeling of Embedded Systems
               Requirements},
  booktitle = {{HASE}},
  pages     = {7--14},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/HaberkornT07,
  author    = {Marc Haberkorn and
               Kishor S. Trivedi},
  title     = {Availability Monitor for a Software Based System},
  booktitle = {{HASE}},
  pages     = {321--328},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/HallMR07,
  author    = {Jon G. Hall and
               Derek Mannering and
               Lucia Rapanotti},
  title     = {Arguing safety with Problem Oriented Software Engineering},
  booktitle = {{HASE}},
  pages     = {23--32},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/Iyer07,
  author    = {Ravishankar K. Iyer},
  title     = {{TRUSTED} {ILLIAC:} {A} Configurable Hardware Framework for a Trusted
               Computing Base},
  booktitle = {{HASE}},
  pages     = {3},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/JoshiH07,
  author    = {Anjali Joshi and
               Mats Per Erik Heimdahl},
  title     = {Behavioral Fault Modeling for Model-based Safety Analysis},
  booktitle = {{HASE}},
  pages     = {199--208},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/KamanuRHL07,
  author    = {Eze Kamanu and
               Pratapa Reddy and
               Kenneth Hsu and
               Marcin Lukowiak},
  title     = {A New Architecture for Single-Event Detection {\&} Reconfiguration
               of SRAM-based FPGAs},
  booktitle = {{HASE}},
  pages     = {291--298},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/KimMR07,
  author    = {Jinyoo Kim and
               Yashwant K. Malaiya and
               Indrakshi Ray},
  title     = {Vulnerability Discovery in Multi-Version Software Systems},
  booktitle = {{HASE}},
  pages     = {141--148},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/Kuball07,
  author    = {Silke Kuball},
  title     = {How can Previous Component Use Contribute to Assessing the Use of
               COTS?},
  booktitle = {{HASE}},
  pages     = {123--130},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/Leach07,
  author    = {Ronald J. Leach},
  title     = {Preliminary Models of the Cost of Fault Tolerance},
  booktitle = {{HASE}},
  pages     = {371--372},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/LeeBM07,
  author    = {Jason D. Lee and
               Praveen Bhojwani and
               Rabi N. Mahapatra},
  title     = {A Safety Analysis Framework for {COTS} Microprocessors in Safety-Critical
               Applications},
  booktitle = {{HASE}},
  pages     = {407--408},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/LeeL07,
  author    = {Jeong{-}Oog Lee and
               Ho{-}Jun Lee},
  title     = {Building High Assurance Multidisciplinary Design Optimization Framework},
  booktitle = {{HASE}},
  pages     = {391--392},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/LeeWSKL07,
  author    = {Jeong{-}Oog Lee and
               Dae Hee Won and
               Sangkyung Sung and
               Taesam Kang and
               Young Jae Lee},
  title     = {High Assurance {GPS} Integrity Monitoring System Using Particle Filtering
               Approach},
  booktitle = {{HASE}},
  pages     = {437--438},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/Leung07,
  author    = {Wu{-}Hon F. Leung},
  title     = {On the Verifiability of Programs Written in the Feature Language Extensions},
  booktitle = {{HASE}},
  pages     = {256--263},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/LiPX07,
  author    = {Xiaohu Li and
               T. Paul Parker and
               Shouhuai Xu},
  title     = {A Stochastic Characterization of a Fault-Tolerant Gossip Algorithm},
  booktitle = {{HASE}},
  pages     = {283--290},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/Liu07,
  author    = {Shaoying Liu},
  title     = {Utilizing Test Case Generation to Inspect Formal Specifications for
               Completeness and Feasibility},
  booktitle = {{HASE}},
  pages     = {349--356},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/LiuJR07,
  author    = {Yan Liu and
               Michael Jiang and
               David Raymer},
  title     = {Adding Autonomic Capabilities to Network Fault Management System},
  booktitle = {{HASE}},
  pages     = {373--374},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/MallouliC07,
  author    = {Wissam Mallouli and
               Ana R. Cavalli},
  title     = {Testing Security Rules with Decomposable Activities},
  booktitle = {{HASE}},
  pages     = {149--155},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/MarwahMF07,
  author    = {Manish Marwah and
               Shivakant Mishra and
               Christof Fetzer},
  title     = {Systems Architectures for Transactional Network Interface},
  booktitle = {{HASE}},
  pages     = {45--52},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/MendoncaN07,
  author    = {Manuel Mendon{\c{c}}a and
               Nuno Ferreira Neves},
  title     = {Fuzzing Wi-Fi Drivers to Locate Security Vulnerabilities},
  booktitle = {{HASE}},
  pages     = {379--380},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/MiliS07,
  author    = {Ali Mili and
               Frederick T. Sheldon},
  title     = {Measuring Reliability as a Mean Failure Cost},
  booktitle = {{HASE}},
  pages     = {403--404},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/MohamedZ07,
  author    = {Atef Mohamed and
               Mohammad Zulkernine},
  title     = {Improving Reliability and Safety by Trading off Software Failure Criticalities},
  booktitle = {{HASE}},
  pages     = {267--274},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/Murrill07,
  author    = {Branson W. Murrill},
  title     = {Automated Test Data Generation and Reliability Assessment for Software
               in High Assurance Systems},
  booktitle = {{HASE}},
  pages     = {409--410},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/Okorafor07,
  author    = {Ekpe Okorafor},
  title     = {All-Optical Routing for High Assurance Computer Systems},
  booktitle = {{HASE}},
  pages     = {427--428},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/ParnasV07,
  author    = {David Lorge Parnas and
               Sergiy A. Vilkomir},
  title     = {Precise Documentation of Critical Software},
  booktitle = {{HASE}},
  pages     = {237--244},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/PouldingEBC07,
  author    = {Simon M. Poulding and
               Paul Emberson and
               Iain Bate and
               John A. Clark},
  title     = {An Efficient Experimental Methodology for Configuring Search-Based
               Design Algorithms},
  booktitle = {{HASE}},
  pages     = {53--62},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/RajanWH07,
  author    = {Ajitha Rajan and
               Michael W. Whalen and
               Mats Per Erik Heimdahl},
  title     = {Model Validation using Automatically Generated Requirements-Based
               Tests},
  booktitle = {{HASE}},
  pages     = {95--104},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/RohloffLPS07,
  author    = {Kurt Rohloff and
               Joseph P. Loyall and
               Partha P. Pal and
               Richard E. Schantz},
  title     = {High-Assurance Distributed, Adaptive Software for Dynamic Systems},
  booktitle = {{HASE}},
  pages     = {385--386},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/RomaniCGS07,
  author    = {Francesco Romani and
               Silvano Chiaradonna and
               Felicita Di Giandomenico and
               Luca Simoncini},
  title     = {Simulation Models and Implementation of a Simulator for the Performability
               Analysis of Electric Power Systems Considering Interdependencies},
  booktitle = {{HASE}},
  pages     = {305--312},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/Romanovsky07,
  author    = {Alexander B. Romanovsky},
  title     = {On Exceptions, Exception Handling, Requirements and Software Lifecycle},
  booktitle = {{HASE}},
  pages     = {301},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/Ruiz07,
  author    = {Eduardo Rafael L{\'{o}}pez Ruiz},
  title     = {Methodology for Evaluating Aeronautical Regulations using Formal Specifications},
  booktitle = {{HASE}},
  pages     = {415--416},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/SalamahGKR07,
  author    = {Salamah Salamah and
               Ann Q. Gates and
               Vladik Kreinovich and
               Steve Roach},
  title     = {Verification of Automatically Generated Pattern-Based {LTL} Specifications},
  booktitle = {{HASE}},
  pages     = {341--348},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/ShamsiB07,
  author    = {Jawwad Shamsi and
               Monica Brockmeyer},
  title     = {SyncProbe: Providing Assurance of Message Latency through Predictive
               Monitoring of Internet Paths},
  booktitle = {{HASE}},
  pages     = {187--196},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/SheTY07,
  author    = {Wei She and
               Bhavani M. Thuraisingham and
               I{-}Ling Yen},
  title     = {Delegation-Based Security Model for Web Services},
  booktitle = {{HASE}},
  pages     = {82--91},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/ShiibashiNYM07,
  author    = {Akio Shiibashi and
               Tsuyoshi Nakaniwa and
               Motoharu Yamana and
               Kinji Mori},
  title     = {Multi-layered Data Consistency Technology, An Enhanced Autonomous
               Decentralized Data Consistency Technology for {IC} Card Ticket System},
  booktitle = {{HASE}},
  pages     = {219--226},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/ShinLB07,
  author    = {Sung{-}Ook Shin and
               Jung{-}Oog Lee and
               Doo{-}Kwon Baik},
  title     = {A Mobile Agent-based Multi-Robot Design Method for High-Assurance},
  booktitle = {{HASE}},
  pages     = {389--390},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/ShinRGP07,
  author    = {Miyoung Shin and
               Sunida Ratanothayanon and
               Amrit L. Goel and
               Raymond A. Paul},
  title     = {Parsimonious Classifiers for Software Quality Assessment},
  booktitle = {{HASE}},
  pages     = {411--412},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/SiokT07,
  author    = {Michael F. Siok and
               Jeff Tian},
  title     = {Empirical Study of Embedded Software Quality and Productivity},
  booktitle = {{HASE}},
  pages     = {313--320},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/SunHL07,
  author    = {Hongyu Sun and
               Miriam Hauptman and
               Robyn R. Lutz},
  title     = {Integrating Product-Line Fault Tree Analysis into {AADL} Models},
  booktitle = {{HASE}},
  pages     = {15--22},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/TownendLZXLZH07,
  author    = {Paul Townend and
               Nik Looker and
               Dacheng Zhang and
               Jie Xu and
               Jianxin Li and
               Liang Zhong and
               Jinpeng Huai},
  title     = {{CROWN-C:} {A} High-Assurance Service-Oriented Grid Middleware System},
  booktitle = {{HASE}},
  pages     = {35--44},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/TsaiZPCB07,
  author    = {Wei{-}Tek Tsai and
               Xinyu Zhou and
               Raymond A. Paul and
               Yinong Chen and
               Xiaoying Bai},
  title     = {A Coverage Relationship Model for Test Case Selection and Ranking
               for Multi-version Software},
  booktitle = {{HASE}},
  pages     = {105--112},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/TuTXL07,
  author    = {Manghui Tu and
               Nasser Tadayon and
               Zhonghang Xia and
               Enyue Lu},
  title     = {A Secure and Scalable Update Protocol for {P2P} Data Grids},
  booktitle = {{HASE}},
  pages     = {423--424},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/TuXMYB07,
  author    = {Manghui Tu and
               Liangliang Xiao and
               Hui Ma and
               I{-}Ling Yen and
               Farokh B. Bastani},
  title     = {Placement in Dependable and Secure Peer-to-Peer Data Grids},
  booktitle = {{HASE}},
  pages     = {133--140},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/VoasM07,
  author    = {Jeffrey M. Voas and
               Keith W. Miller},
  title     = {One in a Baker's Dozen: Debugging Debugging},
  booktitle = {{HASE}},
  pages     = {75--81},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/Wang07,
  author    = {Shige Wang},
  title     = {Model Transformation for High-Integrity Software Development in Derivative
               Vehicle Control System Design},
  booktitle = {{HASE}},
  pages     = {227--234},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/WangZYX07,
  author    = {Xin Wang and
               Xiaochen Zhang and
               Shuang Yang and
               Xiangyang Xue},
  title     = {Design of a Fairness Guarantee Mechanism Based on Network Measurement},
  booktitle = {{HASE}},
  pages     = {425--426},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/WinterMMMW07,
  author    = {Victor L. Winter and
               Azamatbek Mametjanov and
               Steven E. Morrison and
               James A. McCoy and
               Gregory L. Wickstrom},
  title     = {Transformation-Based Library Adaptation for Embedded Systems},
  booktitle = {{HASE}},
  pages     = {209--218},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/WuW07,
  author    = {Shaofei Wu and
               Shixian Wang},
  title     = {Research on Noise Problem of Reputation Estimation in Virtual Enterprise},
  booktitle = {{HASE}},
  pages     = {399--400},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/ZhangLSX07,
  author    = {Xinwen Zhang and
               Qi Li and
               Jean{-}Pierre Seifert and
               Mingwei Xu},
  title     = {Flexible Authorization with Decentralized Access Control Model for
               Grid Computing},
  booktitle = {{HASE}},
  pages     = {156--165},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@inproceedings{DBLP:conf/hase/ZhangROJM07,
  author    = {Qi Zhang and
               Carlos Rend{\'{o}}n and
               Veronica Montes De Oca and
               Daniel R. Jeske and
               Mazda Marvasti},
  title     = {A Nonparametric Cusum Algorithm for Timeslot Sequences with Applications
               to Network Surveillance},
  booktitle = {{HASE}},
  pages     = {435--436},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
@proceedings{DBLP:conf/hase/2007,
  title     = {Tenth {IEEE} International Symposium on High Assurance Systems Engineering
               {(HASE} 2007), November 14-16, 2007, Dallas, Texas, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics