Addressing Unbounded Parallelism in Verification of Software Components (English)
- New search for: Adamek, J.
- New search for: Adamek, J.
In:
Seventh ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD'06)
;
49-56
;
2006
-
ISBN:
- Conference paper / Electronic Resource
-
Title:Addressing Unbounded Parallelism in Verification of Software Components
-
Contributors:Adamek, J. ( author )
-
Published in:
-
Publisher:
- New search for: IEEE
-
Publication date:2006-01-01
-
Size:319682 byte
-
ISBN:
-
DOI:
-
Type of media:Conference paper
-
Type of material:Electronic Resource
-
Language:English
-
Source:
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 3
-
Decision Table Based Analysis of Trading ModelsSrivastava, R.P. et al. | 2006
- 9
-
Transition from Requirements to Architecture: A Review and Future PerspectiveGalster, M. / Eberlein, A. / Moussavi, M. et al. | 2006
- 17
-
A Three-Layer Model for Software Engineering MetricsAkingbehin, K. / Maxim, B. et al. | 2006
- 21
-
An NFR-Based Framework for Establishing Traceability between Enterprise Architectures and System ArchitecturesSubramanian, N. / Chung, L. / Yeong-tae Song, et al. | 2006
- 29
-
Design Phase Analysis of Software Qualities Using Aspect-Oriented ProgrammingDaesung Park, / Sungwon Kang, / Jihyun Lee, et al. | 2006
- 35
-
Improvement of Object Serialization in Java Remote Method InvocationHei Ning Helen Ma, / Lan Yang, et al. | 2006
- 43
-
Applying Dynamic Change Impact Analysis in Component-based Architecture DesignTie Feng, / Maletic, J.I. et al. | 2006
- 49
-
Addressing Unbounded Parallelism in Verification of Software ComponentsAdamek, J. et al. | 2006
- 57
-
Transforming Linear Terms of Algebraic Specifications Into Extended PomsetsDolle, B. et al. | 2006
- 65
-
From Stream Transformers to Moore State Transition Machines with Input and OutputDosch, W. / Ruanthong, W. / Stumpel, A. et al. | 2006
- 73
-
Reducing Test Cost and Improving Documentation In TDD (Test Driven Development)Karamat, T. / Jamil, A.N. et al. | 2006
- 77
-
An Extension to Robustness Slicing Algorithm Based on Dynamic ArrayYancheng Wang, / Bixin Li, / Xufang Gong, et al. | 2006
- 85
-
Text Classification by Combining Different Distance Functions withWeightsYamada, T. / Yamashita, K. / Ishii, N. / Iwata, K. et al. | 2006
- 91
-
Ontology-Based Knowledge Extraction-A Case Study of Software DevelopmentRuey-Shun Chen, / Chan-Chine Chang, / Chi, I. et al. | 2006
- 97
-
A Distributed Flocking Approach for Information Stream Clustering AnalysisXiaohui Cui, / Potok, T.E. et al. | 2006
- 103
-
Identifying Critical Dependencies Using General Bayesian Network: An Application to Aviation OperationSung Woo Shin, / Inwon Kang, et al. | 2006
- 109
-
Network Intrusion Detection Through Genetic Feature SelectionChi Hoon Lee, / Jin Wook Chung, / Sung Woo Shin, et al. | 2006
- 115
-
Using Data Mining Technology to improve Manufacturing Quality - A Case Study of LCD Driver IC Packaging IndustryRuey-Shun Chen, / Kun-Chieh Yeh, / Chan-Chine Chang, / Chien, H.H. et al. | 2006
- 120
-
Data Clustering of Tolerance Space in MATLABFu-Shing Sun, / Chun-Hung Tzeng, et al. | 2006
- 127
-
Flexible Metadata Management for Block-level Storage SystemJie Xiao, / Feng, D. / Zhan Shi, / Mengfei Cheng, et al. | 2006
- 133
-
New Generalized Cellular Automata to a Class of Optimization ProblemsDianxun Shuai, / Liangjun Huang, / Qing Shuai, et al. | 2006
- 139
-
A Wireless Grid Service Platform Using SIP and AgentsFang-Yie Leu, / Tai-Shiang Wang, et al. | 2006
- 145
-
Minimizing Multicast Communication Latency in WAN-Based EnvironmentSilawarawet, K. / Nupairoj, N. et al. | 2006
- 151
-
Routing Problems in Incomplete Pancake GraphsKaneko, K. et al. | 2006
- 157
-
A Parallel Local Search Algorithm for Euclidean Steiner Tree ProblemRashid Bin Muhammad, et al. | 2006
- 165
-
Design Issues in a Bare PC Web ServerLong He, / Karne, R.K. / Wijesinha, A.L. / Girumala, S. / Khaksari, G.H. et al. | 2006
- 171
-
The global fault-tolerance of interconnection networksHarutyunyan, H.A. / Morosan, C.D. et al. | 2006
- 177
-
Offshore Outsourcing Bridge: Designing and Development A Model Applied Management Platform for Chinese Offshore OutsourcingLi Shiying, / Luo Yi, et al. | 2006
- 184
-
MyTwigStack: A Holistic Twig Join Algorithm with Effective Path Merging SupportDunren Che, et al. | 2006
- 190
-
A Software Tool for Network Traffic AnalysisSun, F. / Tzeng, H. et al. | 2006
- 197
-
Pupil and Iris Localization for Iris Recognition in Mobile PhonesDal-ho Cho, / Kang Ryoung Park, / Dae Woong Rhee, / Yanggon Kim, / Jonghoon Yang, et al. | 2006
- 202
-
A Novel Generalized Particle Model for Lossless Data CompressionDianxun Shuai, / Qing Shuai, et al. | 2006
- 208
-
DCE-MRI Segmentation and Motion Correction Based on Active Contour Model and Forward MappingWenzhu Lu, / Jianhua Yao, / Chao Lu, / Prindiville, S. / Chow, C. et al. | 2006
- 213
-
Target Classification and Pattern Recognition Using Micro-Doppler Radar SignaturesYinan Yang, / Jiajin Lei, / Wenxue Zhang, / Chao Lu, et al. | 2006
- 218
-
Face Recognition by Spatiotemporal ICA Using Facial Database Collected by AcSys FRS Discover SystemJiajin Lei, / Chao Lu, et al. | 2006
- 225
-
Broadcast with Hitch-hiking in Wireless Ad-Hoc Networks (Invited Talk Abstract)Calinescu, G. et al. | 2006
- 226
-
Topology Control and Mobility Management in Mobile Ad Hoc Networks (Invited Talk Abstract)Fei Dai, et al. | 2006
- 227
-
2-Connected Dominating Set inWireless Networks (Invited Talk Abstract)Thai, M.T. et al. | 2006
- 231
-
AFlexible Framework for Wireless-Based Intelligent Sensor with Reconfigurability , Dynamic adding ,and Web interfaceHung-Chieh Yu, / Shu-Ming Tseng, et al. | 2006
- 237
-
An Early Binding Fast Handover for High-Speed Mobile Nodes on MIPv6 over Connectionless Packet Radio LinkHocheal Kim, / Youngtak Kim, et al. | 2006
- 243
-
Node-Disjoint Multipath Routing and Distributed Cross-Layer QoS Guarantees in Mobile Ad hoc NetworksXuefei Li, / Cuthbert, L. et al. | 2006
- 249
-
An Effective Authentication Scheme in Mobile Ad Hoc NetworkKiho Shin, / Yoonho Kim, / Yanggon Kim, et al. | 2006
- 253
-
A Graph Alorithm Based Approach to Recovery and Failover in Tactical ManetsWatkins, D. / Scott, C. / Randle, D. et al. | 2006
- 261
-
DEEPS: Deterministic Energy-Efficient Protocol for Sensor networksBrinza, D. / Zelikovsky, A. et al. | 2006
- 267
-
Reliable Cost-based Data-centric Routing Protocol forWireless Sensor NetworksJian Wu, / Havinga, P. et al. | 2006
- 273
-
Approximation Algorithm for Maximum Lifetime in Wireless Sensor Networks with Data AggregationStanford, J. / Tongngam, S. et al. | 2006
- 278
-
Cross-Layer Design and Optimization forWireless Sensor NetworksSu, W. / Lim, T.L. et al. | 2006
- 285
-
Maximum Lifetime of Sensor Networks with Adjustable Sensing RangeDhawan, A. / Vu, C.T. / Zelikovsky, A. / Li, Y. / Prasad, S.K. et al. | 2006
- 290
-
Deployment Algorithms and In-Door Experimental Vehicles for Studying Mobile Wireless Sensor NetworksMysorewala, M.F. / Popa, D.O. / Giordano, V. / Lewis, F.L. et al. | 2006
- 299
-
A Novel Approach of Requirements Analysis for Agent Based SystemRanjan, P. / Misra, A.K. et al. | 2006
- 305
-
A Survey of Software Estimation Techniques and Project Planning PracticesNasir, M. et al. | 2006
- 311
-
A Dynamic and Self-study Language Model Oriented to Chinese Characters InputLi Pei-feng, / Gu Ping, / Zhu Qiao-ming, et al. | 2006
- 319
-
A QoS-aware Mobility Management MechanismKaddoura, M. et al. | 2006
- 324
-
Verifying and Fixing Password Authentication ProtocolXiaoqi Ma, / McCrindle, R. / Xiaochun Cheng, et al. | 2006
- 330
-
Data-Logging and Supervisory Control in Wireless Sensor NetworksDas, A.N. / Lewis, F.L. / Popa, D.O. et al. | 2006
- 339
-
Effects of Computer Competency on Usability and Learning Experience in Online Learning EnvironmentsMeiselwitz, G. / Trajkovski, G. et al. | 2006
- 343
-
e- Oral: A Hypermedia Web Application for English Language Oral Exams within a Distance Education EnvironmentLopez, M.E. / Alba-Juez, L. / Aragones, M. / Molina, B. et al. | 2006
- 349
-
Transitioning from e-Learning to m-Learning: Present Issues and Future ChallengesGeorgiev, T. / Georgieva, E. / Trajkovski, G. et al. | 2006
- 354
-
A Web-based Cooperative Research Paper Edit SystemFujimoto, T. / Matsuo, T. et al. | 2006
- 361
-
Using Tools in Teaching University Courses in Information TechnologyNemchinova, Y. / Sayani, H. et al. | 2006
- 368
-
Semantic Web Service Modeling using UML for e-business environmentHa, Y. / Lee, R. et al. | 2006
- 375
-
Asynchronous Callback in Web ServicesKai Qian, / Jigang Liu, / LiXin Tao, et al. | 2006
- 381
-
Preventing Attacks on Back-End Servers using Masquerading/HoneypotsRichardson, T. et al. | 2006
- 389
-
Genetic Algorithms for Hunting Snakes in Hypercubes: Fitness Function Analysis and Open QuestionsDiaz-Gomez, P.A. / Hougen, D.F. et al. | 2006
- 395
-
Label-Based Access Control Policy Enforcement and ManagementWei Zhou, / Raja, V.H. / Meinel, C. / Ahmad, M. et al. | 2006
- 401
-
Development of a Honeynet Laboratory: a Case StudyO'Leary, M. / Azadegan, S. / Lakhani, J. et al. | 2006
- 407
-
A Role-based PMI Authentication Model and its ApplicationZhu yanqin, / Qian Peide, / Liu Yueqin, et al. | 2006
- 419
-
Author index| 2006
- c1
-
Seventh ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing - Cover| 2006
- i
-
Seventh ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing - Title Page| 2006
- iv
-
Seventh ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing - Copyright Page| 2006
- v
-
Seventh ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing - Table of Contents| 2006
- x
-
Message from the Conference Co-chairs| 2006
- xi
-
Message from the Program Chair| 2006
- xii
-
Message from the SAWN 2006 Workshop Co-chairs| 2006
- xiv
-
SNPD 2006 Program Committee| 2006