IASTED Conf. on Software Engineering and Applications 2004: Cambridge, MA, USA
M. H. Hamza (Ed.): Proceedings of the IASTED Conference on Software Engineering and Applications, November 9-11, 2004, MIT, Cambridge, MA, USA. IASTED/ACTA Press 2004 ISBN 0-88986-425-X
Databases and data mining
- Adi-Cristina Mitea: A proposal for a multiple join index. 1-6
- Sergio Luján-Mora, Juan Trujillo: Modeling the physical design of data warehouses from a UML specification. 7-12
- Keke Cai, Chun Chen, Huaizhong Lin: Efficient similarity matching for categorical sequence based on dynamic partition. 13-18
- Adem Karahoca: Data mining via cellular neural networks in the GSM sector. 19-24
- Emmanuel E. Udoh, David Erbach, Ahmed Mustafa: Neural network facilitated analysis of stress in a biological species. 25-29
- Emmanuel E. Udoh, David Erbach: Applying database technology in the integration of engineering software modules. 30-33
- Alejandro Botello Castillo, Rubén Peredo Valderrama, Leandro Balladares Ocaña: Design and implementation of a data repository for a case tool. 42-46
- Paul Zellweger: A tool for generating a data-driven database taxonomy. 53-58
- Iryna V. Turchenko, Volodymyr Turchenko, Volodymyr Kochan, Pavlo E. Bykovy, Anatoly Sachenko, George Markowsky: Database design for CAD system optimising distributed sensor networks for perimeter security. 59-64
- Xuetao Guo, Jie Lu, Guangquan Zhang: A recommender system by two-level collaborative filtering. 65-69
Security and protection
- Zhiqing Liu: A model of program execution for security purposes. 70-76
- Adam Duffy, Tom Dowling: An object oriented approach to an identity based encryption cryptosystem. 77-83
- Andrew Burnett, Tom Dowling: Rapid prototyping and performance analysis of elliptic curve cryptographic algorithms using Java and Maple. 84-89
- Gaowei Bian, Ken Nakayama, Yoshitake Kobayashi, Mamoru Maekawa: Java mobile code security by bytecode behavior analysis. 90-95
- Joon S. Park, Pratheep Chandramohan, Joseph Giordano: Component-abnormality detection and immunization for survivable systems in large distributed environments. 102-108
- Christopher Weber, Sriram Seshadri, Furrukh Khan: Using emerging open specifications for enhancing XML web services to build a maintainable and secure health care information system. 109-114
- Zhengfan Dai, Xudong He, Junhua Ding, Shu Gao: Modeling and analyzing security protocols in SAM: A case study. 115-121
- George Leeman, Aaron Kershenbaum, Larry Koved, Darrell Reimer: Detecting unwanted synchronization in Java programs. 122-132
Software architecture
- Rabih Bashroush, Ivor T. A. Spence, Peter Kilpatrick, T. John Brown: Using the NaSr architectural style to solve the broken hyperlink problem. 139-143
- Wei-Tek Tsai, Dawei Zhang, Yinong Chen, Hai Huang, Raymond A. Paul, Ning Liao: A software reliability model for web services. 144-149
- Tamer Rafla, Rafiou Oketokoun, Artur Wiklik, Michel Desmarais, Pierre N. Robillard: Accommodating usability driven changes in existing software architecture. 150-154
- Pablo Bustos, Jaime Navon: A simple platform-independent web application development process. 155-160
- Janhua Lin: Distributed architectures for rich-client internet applications. 161-166
- Andreas Günzler, Daniel von Roennebeck: Towards an automated quality assessment of UML-based software architectures. 167-172
- Thomas Schöbel-Theuer: Instance orientation: A programming methodology. 173-179
- Weixiang Sun, Zhengfan Dai: AOSAM: A formal framework for aspect-oriented software architecture specifications. 180-185
- Arif Selçuk Ögrenci, Taner Arsan, Tuncay Saydam: An open software architecture of neural networks: Neurosoft. 186-191
- Jie Ren, Richard N. Taylor: Utilizing commercial object libraries within looselycoupled, event-based systems. 192-197
- Kriste Krstovski, Andrew L. Kun, W. Thomas Miller III: Distributed components for retrieval of driver's license data using a handheld computer. 198-203
- Errol Hugh Dennis, Ezra Kaahwa Mugisa: A permissive/restrictive security structure for a reusable software architecture for an accounting information system. 204-209
Software maintenance and reliability
- Catherine Stringfellow, C. D. Amory, Dileep Potnuri, M. Georg: Deriving change architectures from RCS history. 210-215
- Yogesh Singh, Bindu Goel, Pravin Chandra: A model for corrective maintenance time prediction using neural network. 216-221
- Yoshiki Higo, Toshihiro Kamiya, Shinji Kusumoto, Katsuro Inoue: ARIES: Refactoring support environment based on code clone analysis. 222-229
- Victor Shtern: On object-oriented approach to program modularization. 230-235
- Michael A. Hoffman: Inferring class level scenarios from object-oriented source code. 236-240
- Feng-Pu Yang, Chia Hung Kao, Hewijin Christine Jiau: From principle, product, process to effort. 247-252
- Sin Ban Ho, Ian Chai, Chuie Hong Tan: An empirical investigation for different sequences of pedagogical framework documentation in RAD. 253-258
- Suzanne Smith, Sara Stoecklin, Judy Mullins: A practical guide to measuring method coupling in object-oriented systems. 259-263
- Kazuki Iwamoto, Tadashi Dohi, Naoto Kaio: A discrete software cost model with periodic rejuvenation for a telecommunication billing application. 282-287
Software testing
- Peter J. Clarke, Brian A. Malloy: Using a taxonomy to analyze classes during implementation-based testing. 288-293
- Sami Beydeda: Integrated generation of specification- and program-based test cases. 294-299
- Huy-Vu Do, Chantal Robach, Michel Delaunay, Jean-Sébastien Cruz: A testability analysis for data-flow designs of reactive real-time systems. 318-323
- Linda Badri, Mourad Badri, Velou Stéphane Blé: Object-oriented integration testing: A method level based approach. 324-330
- Walter Maydl: Model checking for component-based software development for embedded systems. 331-338
Formal methods and specification
- John A. Akinyemi, Sylvanus A. Ehikioya: A predicate logic foundation for financial audit systems. 339-344
- Victor L. Winter, Steve Roach, Fares Fraij: Higher-order strategic programming: A road to software assurance. 350-355
- Gordan Jezic, Ignac Lovrek: Using Pi-Calculus for specification of mobile agent communication. 356-361
- Jason O. Hallstrom, Neelam Soundarajan: Formal specification of design patterns: A case study. 362-367
- Aristides Dasso, Chris George: Automating software development by cross-utilization of specification tools. 368-373
- Jianwen Xiang, Kokichi Futatsugi, Yanxiang He: Formal construction model and specification of fault tree. 374-381
Modelling and simulation
- James B. Dabney, Gary Barber, Don Ohi: Estimating direct return on investment of independent verification and validation. 394-399
- Alexander Salbrechter, Heinrich C. Mayr, Christian Kop: Mapping pre-designed business process models to UML. 400-405
- Yu-Ling Won, Dwen-Ren Tsai, Pi-Ju Tsai: How far is an ISO 9001-granted organization to capability maturity model integration? 406-411
- Jeongeun Shin, Shinji Ozawa: Shape recognition of the human body using the model of a 3D human body. 412-417
- Christian Reichel, Roy Oberhauser: XML-based programming language modeling: An approach to software engineering. 424-429
- William J. Ray, Man-tak Shing, Chee Khan Kwok: Simulation models for optimal object server deployment. 430-435
- Kazunori Iwata, Nobuhiro Ito, Itsuki Noda, Naohiro Ishii: Design and implementation of a simulator for evaluating dial-a-ride systems. 442-448
- Ingunn Myrtveit, Erik Stensrud: SW cost estimation: Measuring model performance of arbitrary function approximators. 449-455
Software engineering applications
- Tomasz Müldner, Darcy G. Benoit, Fei Wang: Generic approach to internationalization of websites. 465-470
- Andrew J. Kornecki, Kimberley Hall: Approaches to assure safety in fly-by-wire systems: Airbus vs. boeing. 471-476
- Elankayer Sithirasenan, Vallipuram Muthukkumarasamy: A model for object-based distributed processing using behaviour trees. 477-482
- Franco Cicirelli, Angelo Furfaro, Libero Nigro: Deployment, configuration and management of mobile actor systems. 483-488
- Salaheddin J. Juneidi, George A. Vouros: Agent role locking (ARL): Theory for agent oriented software engineering. 494-500
- Aldo Dagnino, Karen Smiley, Hema Srikanth, Annie I. Antón, Laurie A. Williams: Experiences in applying agile software development practices in new product development. 501-506
- Rita Suzana Pitangueira Maciel, Carlos André Guimarães Ferraz, Nelson S. Rosa: InterDOC: Interoperable services in collaborative writing environments. 507-512
Software tools and techniques
- John D. Roberts, Ilmi Yoon, Sanghyuk Yoon, Edward Lank: An interface mark-up language for web3D. 518-522
- Hajime Iwata, Junko Shirogane, Yoshiaki Fukazawa: Generating tutorial system from sequence diagrams in UML. 523-528
- Sadahiro Isoda: On execution control of UML's use case. 529-533
- Yasutaka Kono, Shingo Takada, Norihisa Doi: A framework for multiple service discovery and robustness. 546-551
- Jean Utke, Uwe Naumann: Separating language dependent and independent tasks for the semantic transformation of numerical programs. 552-558
- Cinzia Bernardeschi, Luca Martini, Paolo Masci: Java bytecode verification with dynamic structures. 559-564
- Xiao Hu, Ting Lei, Yuchang Gong, Xuehai Zhou: Compiling adaptive programs for real-time dynamic scheduling. 565-570
- Serge Midonnet, Hui Xue Zhao: A standard real-time application development using real-time java specification from theory to practice. 571-576
- Theodorus Eric Setiadi, Ken Nakayama, Yoshitake Kobayashi, Mamoru Maekawa: Identifying candidate invariant conditions of running program. 577-582
- Marco Calamita, Piero Lunghi, Riccardo Melioli, Flavio Tonelli: A supervised multi-agent approach for operations capacity planning through performances-driven analysis. 594-600
- Edward Curry, Desmond Chambers, Gerard Lyons: Enterprise service facilitation within agent environments. 601-606
Software design and development
- Constantinos Constantinides, Therapon Skotiniotis: The provision of contracts to enforce system semantics throughout software development. 607-616
- Hongyuan Wang, Zhang Ke, Tie Feng, Haiyan Che, Zheng Yinshi: Synthesizing statecharts through sequence diagrams analysis. 617-622
- F. Tessier, Mourad Badri, Linda Badri: An early detection of semantic conflicts between aspects: A model analysis based technique. 623-628
- Sarun Chaiworawitgul, Proadpran Pitsatorn, Boonchai Sowanwanichkul: Applying object oriented concept to combination logic design. 629-634
- Axel Rauschmayer, Patrick Renner: Tube: Interactive model-integrated object-oriented programming. 635-640
- Jing-Chiou Liou: PLUS: A release management process for progressive software development model. 647-652
- Karim Visram: Extreme programming: Pair-programmers, team players or future leaders? 659-664
- Abdallah Mohamed, Günther Ruhe, Armin Eberlein: Towards a customizable approach for COTS selection. 665-671
- Fabrizio Fabbrini, Mario Fusani, Stefania Gnesi, Giuseppe Lami: Automatic clustering of non-functional requirements. 672-677
- Shyh-Kwei Chen, Kun-Lung Wu, Jih-Shyr Yih: Decoupled common annotations for reusing XML document composition logic. 678-683
- Geoff Coulson, Gordon S. Blair, Paul Grace, Ackbar Joolia, Kevin Lee, Jo Ueyama: A component model for building systems software. 684-689
- Radmila Juric, Jasna Kuljis, Ray J. Paul: Contextualising components when addressing database interoperability. 690-695
- Antonio Estévez García, J. Padrón Lorenzo, José Luis Roda García: An MDA-based framework to achieve high productivity in software development. 703-708
- Øystein Haugen, Birger Møller-Pedersen, Jon Oldevik, Arnor Solberg: An MDA®-based framework for model-driven product derivation. 709-714
- M. R. Narasimhamurthy, Ramzan Nadaf, Animesh Bhowmick: Automating VBI-data generation and validation. 721-724
- Rajendra K. Bera: An algorithm for determining the equivalence of two blocks of assignment statements. 731-735
- Hideo Hasegawa, Shingo Takada, Norihisa Doi: Supporting the iterative development of sequence diagrams and statecharts. 736-742
- Mark Burgin: Logical tools for program integration and interoperability. 743-748
- Angela Guercio, Bonita Simoes, Arvind K. Bansal: Towards large scale voice activated dynamic and interactive internet based animation and modeling. 749-754
- Richard A. Pyne, Ezra Kaahwa Mugisa: Software component self-description: Labeling components in a software supermarket. 767-772
Special session: Data mining software project databases
- Hamid Haidarian Shahri, Ahmad Abdollahzadeh Barforoush: AFFDEF: Adaptive and flexible fuzzy duplicate elimination framework. 773-780
- Mitja Lenic, Petra Povalej, Peter Kokol, Ana Isabel Cardoso: Using cellular automata to predict reliability of modules. 781-785
- Matej Mertik, Mitja Lenic, Milan Zorman, Maurizio Pighin: Mining features of software reliability using multimethod data-mining approach. 790-794
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team