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

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.