default search action
IASTED Conf. on Software Engineering and Applications 2004: Cambridge, MA, USA
- M. H. Hamza:
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. IASTED Conf. on Software Engineering and Applications 2004: 1-6 - Sergio Luján-Mora, Juan Trujillo:
Modeling the physical design of data warehouses from a UML specification. IASTED Conf. on Software Engineering and Applications 2004: 7-12 - Keke Cai, Chun Chen, Huaizhong Lin:
Efficient similarity matching for categorical sequence based on dynamic partition. IASTED Conf. on Software Engineering and Applications 2004: 13-18 - Adem Karahoca:
Data mining via cellular neural networks in the GSM sector. IASTED Conf. on Software Engineering and Applications 2004: 19-24 - Emmanuel E. Udoh, David Erbach, Ahmed Mustafa:
Neural network facilitated analysis of stress in a biological species. IASTED Conf. on Software Engineering and Applications 2004: 25-29 - Emmanuel E. Udoh, David Erbach:
Applying database technology in the integration of engineering software modules. IASTED Conf. on Software Engineering and Applications 2004: 30-33 - Christian Mancas, Simona Dragomir:
Matbase datalog¬ subsystem meta-catalog conceptual design. IASTED Conf. on Software Engineering and Applications 2004: 34-41 - Alejandro Botello Castillo, Rubén Peredo Valderrama, Leandro Balladares Ocaña:
Design and implementation of a data repository for a case tool. IASTED Conf. on Software Engineering and Applications 2004: 42-46 - Ulf Johansson, Cecilia Sönströd, Lars Niklasson:
Why rule extraction matters. IASTED Conf. on Software Engineering and Applications 2004: 47-52 - Paul Zellweger:
A tool for generating a data-driven database taxonomy. IASTED Conf. on Software Engineering and Applications 2004: 53-58 - Iryna V. Turchenko, Volodymyr Turchenko, Volodymyr Kochan, Pavlo Bykovyy, Anatoly Sachenko, George Markowsky:
Database design for CAD system optimising distributed sensor networks for perimeter security. IASTED Conf. on Software Engineering and Applications 2004: 59-64 - Xuetao Guo, Jie Lu, Guangquan Zhang:
A recommender system by two-level collaborative filtering. IASTED Conf. on Software Engineering and Applications 2004: 65-69
Security and protection
- Zhiqing Liu:
A model of program execution for security purposes. IASTED Conf. on Software Engineering and Applications 2004: 70-76 - Adam Duffy, Tom Dowling:
An object oriented approach to an identity based encryption cryptosystem. IASTED Conf. on Software Engineering and Applications 2004: 77-83 - Andrew Burnett, Tom Dowling:
Rapid prototyping and performance analysis of elliptic curve cryptographic algorithms using Java and Maple. IASTED Conf. on Software Engineering and Applications 2004: 84-89 - Gaowei Bian, Ken Nakayama, Yoshitake Kobayashi, Mamoru Maekawa:
Java mobile code security by bytecode behavior analysis. IASTED Conf. on Software Engineering and Applications 2004: 90-95 - Cinzia Bernardeschi, Luca Martini:
Enforcement of applet boundaries in Java card systems. IASTED Conf. on Software Engineering and Applications 2004: 96-101 - Joon S. Park, Pratheep Chandramohan, Joseph Giordano:
Component-abnormality detection and immunization for survivable systems in large distributed environments. IASTED Conf. on Software Engineering and Applications 2004: 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. IASTED Conf. on Software Engineering and Applications 2004: 109-114 - Zhengfan Dai, Xudong He, Junhua Ding, Shu Gao:
Modeling and analyzing security protocols in SAM: A case study. IASTED Conf. on Software Engineering and Applications 2004: 115-121 - George Leeman, Aaron Kershenbaum, Larry Koved, Darrell Reimer:
Detecting unwanted synchronization in Java programs. IASTED Conf. on Software Engineering and Applications 2004: 122-132 - Levent Ertaul, Suma Venkatesh:
JHide - A tool kit for code obfuscation. IASTED Conf. on Software Engineering and Applications 2004: 133-138
Software architecture
- Rabih Bashroush, Ivor T. A. Spence, Peter Kilpatrick, T. John Brown:
Using the NaSr architectural style to solve the broken hyperlink problem. IASTED Conf. on Software Engineering and Applications 2004: 139-143 - Wei-Tek Tsai, Dawei Zhang, Yinong Chen, Hai Huang, Raymond A. Paul, Ning Liao:
A software reliability model for web services. IASTED Conf. on Software Engineering and Applications 2004: 144-149 - Tamer Rafla, Rafiou Oketokoun, Artur Wiklik, Michel C. Desmarais, Pierre N. Robillard:
Accommodating usability driven changes in existing software architecture. IASTED Conf. on Software Engineering and Applications 2004: 150-154 - Pablo Bustos, Jaime Navon:
A simple platform-independent web application development process. IASTED Conf. on Software Engineering and Applications 2004: 155-160 - Janhua Lin:
Distributed architectures for rich-client internet applications. IASTED Conf. on Software Engineering and Applications 2004: 161-166 - Andreas Günzler, Daniel von Roennebeck:
Towards an automated quality assessment of UML-based software architectures. IASTED Conf. on Software Engineering and Applications 2004: 167-172 - Thomas Schöbel-Theuer:
Instance orientation: A programming methodology. IASTED Conf. on Software Engineering and Applications 2004: 173-179 - Weixiang Sun, Zhengfan Dai:
AOSAM: A formal framework for aspect-oriented software architecture specifications. IASTED Conf. on Software Engineering and Applications 2004: 180-185 - Arif Selçuk Ögrenci, Taner Arsan, Tuncay Saydam:
An open software architecture of neural networks: Neurosoft. IASTED Conf. on Software Engineering and Applications 2004: 186-191 - Jie Ren, Richard N. Taylor:
Utilizing commercial object libraries within looselycoupled, event-based systems. IASTED Conf. on Software Engineering and Applications 2004: 192-197 - Kriste Krstovski, Andrew L. Kun, W. Thomas Miller III:
Distributed components for retrieval of driver's license data using a handheld computer. IASTED Conf. on Software Engineering and Applications 2004: 198-203 - Errol Hugh Dennis, Ezra Kaahwa Mugisa:
A permissive/restrictive security structure for a reusable software architecture for an accounting information system. IASTED Conf. on Software Engineering and Applications 2004: 204-209
Software maintenance and reliability
- Catherine Stringfellow, C. D. Amory, Dileep Potnuri, M. Georg:
Deriving change architectures from RCS history. IASTED Conf. on Software Engineering and Applications 2004: 210-215 - Yogesh Singh, Bindu Goel, Pravin Chandra:
A model for corrective maintenance time prediction using neural network. IASTED Conf. on Software Engineering and Applications 2004: 216-221 - Yoshiki Higo, Toshihiro Kamiya, Shinji Kusumoto, Katsuro Inoue:
ARIES: Refactoring support environment based on code clone analysis. IASTED Conf. on Software Engineering and Applications 2004: 222-229 - Victor Shtern:
On object-oriented approach to program modularization. IASTED Conf. on Software Engineering and Applications 2004: 230-235 - Michael A. Hoffman:
Inferring class level scenarios from object-oriented source code. IASTED Conf. on Software Engineering and Applications 2004: 236-240 - Tilman Seifert, Gerd Beneken, Niko Baehr:
Engineering long-lived applications using MDA. IASTED Conf. on Software Engineering and Applications 2004: 241-246 - Feng-Pu Yang, Chia Hung Kao, Hewijin Christine Jiau:
From principle, product, process to effort. IASTED Conf. on Software Engineering and Applications 2004: 247-252 - Sin Ban Ho, Ian Chai, Chuie Hong Tan:
An empirical investigation for different sequences of pedagogical framework documentation in RAD. IASTED Conf. on Software Engineering and Applications 2004: 253-258 - Suzanne Smith, Sara Stoecklin, Judy Mullins:
A practical guide to measuring method coupling in object-oriented systems. IASTED Conf. on Software Engineering and Applications 2004: 259-263 - Jianyun Zhou, Tor Stålhane:
A framework for early robustness assessment. IASTED Conf. on Software Engineering and Applications 2004: 264-268 - Phillip L. Nico, Clark Savage Turner, Kimberly Knowles Nico:
Insecurity by contract. IASTED Conf. on Software Engineering and Applications 2004: 269-274 - Xiaoguang Mao, John May:
Reliability specification for component-based software. IASTED Conf. on Software Engineering and Applications 2004: 275-281 - Kazuki Iwamoto, Tadashi Dohi, Naoto Kaio:
A discrete software cost model with periodic rejuvenation for a telecommunication billing application. IASTED Conf. on Software Engineering and Applications 2004: 282-287
Software testing
- Peter J. Clarke, Brian A. Malloy:
Using a taxonomy to analyze classes during implementation-based testing. IASTED Conf. on Software Engineering and Applications 2004: 288-293 - Sami Beydeda:
Integrated generation of specification- and program-based test cases. IASTED Conf. on Software Engineering and Applications 2004: 294-299 - Shujuan Jiang, Baowen Xu, Liang Shi:
An approach to analyzing exception propagation. IASTED Conf. on Software Engineering and Applications 2004: 300-305 - Yajuan Pan, Mei-Hwa Chen:
Dataflow analysis and testing of software components. IASTED Conf. on Software Engineering and Applications 2004: 306-311 - Yu Lei, Richard H. Carver:
Reachability testing of monitor-based programs. IASTED Conf. on Software Engineering and Applications 2004: 312-317 - Huy-Vu Do, Chantal Robach, Michel Delaunay, Jean-Sébastien Cruz:
A testability analysis for data-flow designs of reactive real-time systems. IASTED Conf. on Software Engineering and Applications 2004: 318-323 - Linda Badri, Mourad Badri, Velou Stéphane Blé:
Object-oriented integration testing: A method level based approach. IASTED Conf. on Software Engineering and Applications 2004: 324-330 - Walter Maydl:
Model checking for component-based software development for embedded systems. IASTED Conf. on Software Engineering and Applications 2004: 331-338
Formal methods and specification
- John A. Akinyemi, Sylvanus A. Ehikioya:
A predicate logic foundation for financial audit systems. IASTED Conf. on Software Engineering and Applications 2004: 339-344 - Junyan Qian, Baowen Xu:
The compositional semantics of timed statecharts. IASTED Conf. on Software Engineering and Applications 2004: 345-349 - Victor L. Winter, Steve Roach, Fares Fraij:
Higher-order strategic programming: A road to software assurance. IASTED Conf. on Software Engineering and Applications 2004: 350-355 - Gordan Jezic, Ignac Lovrek:
Using Pi-Calculus for specification of mobile agent communication. IASTED Conf. on Software Engineering and Applications 2004: 356-361 - Jason O. Hallstrom, Neelam Soundarajan:
Formal specification of design patterns: A case study. IASTED Conf. on Software Engineering and Applications 2004: 362-367 - Aristides Dasso, Chris George:
Automating software development by cross-utilization of specification tools. IASTED Conf. on Software Engineering and Applications 2004: 368-373 - Jianwen Xiang, Kokichi Futatsugi, Yanxiang He:
Formal construction model and specification of fault tree. IASTED Conf. on Software Engineering and Applications 2004: 374-381
Modelling and simulation
- John Noll, Jigar Shah:
Process state inference for support of knowledge intensivework. IASTED Conf. on Software Engineering and Applications 2004: 382-387 - David Cumberland, Clark Savage Turner:
An ad hoc evaluation of workflow modeling tools. IASTED Conf. on Software Engineering and Applications 2004: 388-393 - James B. Dabney, Gary Barber, Don Ohi:
Estimating direct return on investment of independent verification and validation. IASTED Conf. on Software Engineering and Applications 2004: 394-399 - Alexander Salbrechter, Heinrich C. Mayr, Christian Kop:
Mapping pre-designed business process models to UML. IASTED Conf. on Software Engineering and Applications 2004: 400-405 - Yu-Ling Won, Dwen-Ren Tsai, Pi-Ju Tsai:
How far is an ISO 9001-granted organization to capability maturity model integration? IASTED Conf. on Software Engineering and Applications 2004: 406-411 - Jeongeun Shin, Shinji Ozawa:
Shape recognition of the human body using the model of a 3D human body. IASTED Conf. on Software Engineering and Applications 2004: 412-417 - A. R. Dani, Ved Prakash Gulati:
A framework for modeling automated negotiation. IASTED Conf. on Software Engineering and Applications 2004: 418-423 - Christian Reichel, Roy Oberhauser:
XML-based programming language modeling: An approach to software engineering. IASTED Conf. on Software Engineering and Applications 2004: 424-429 - William J. Ray, Man-tak Shing, Chee Khan Kwok:
Simulation models for optimal object server deployment. IASTED Conf. on Software Engineering and Applications 2004: 430-435 - Mariele Hagen, Volker Gruhn:
Towards flexible software processes by using process patterns. IASTED Conf. on Software Engineering and Applications 2004: 436-441 - Kazunori Iwata, Nobuhiro Ito, Itsuki Noda, Naohiro Ishii:
Design and implementation of a simulator for evaluating dial-a-ride systems. IASTED Conf. on Software Engineering and Applications 2004: 442-448 - Ingunn Myrtveit, Erik Stensrud:
SW cost estimation: Measuring model performance of arbitrary function approximators. IASTED Conf. on Software Engineering and Applications 2004: 449-455
Software engineering applications
- Tak Wah Kwan, Hareton K. N. Leung:
Project perspective of software acquisition practices. IASTED Conf. on Software Engineering and Applications 2004: 456-464 - Tomasz Müldner, Darcy G. Benoit, Fei Wang:
Generic approach to internationalization of websites. IASTED Conf. on Software Engineering and Applications 2004: 465-470 - Andrew J. Kornecki, Kimberley Hall:
Approaches to assure safety in fly-by-wire systems: Airbus vs. boeing. IASTED Conf. on Software Engineering and Applications 2004: 471-476 - Elankayer Sithirasenan, Vallipuram Muthukkumarasamy:
A model for object-based distributed processing using behaviour trees. IASTED Conf. on Software Engineering and Applications 2004: 477-482 - Franco Cicirelli, Angelo Furfaro, Libero Nigro:
Deployment, configuration and management of mobile actor systems. IASTED Conf. on Software Engineering and Applications 2004: 483-488 - Milan Vidakovic, Goran Sladic, Miroslav Zaric:
Metadata harvesting using agent technology. IASTED Conf. on Software Engineering and Applications 2004: 489-493 - Salaheddin J. Juneidi, George A. Vouros:
Agent role locking (ARL): Theory for agent oriented software engineering. IASTED Conf. on Software Engineering and Applications 2004: 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. IASTED Conf. on Software Engineering and Applications 2004: 501-506 - Rita Suzana Pitangueira Maciel, Carlos André Guimarães Ferraz, Nelson S. Rosa:
InterDOC: Interoperable services in collaborative writing environments. IASTED Conf. on Software Engineering and Applications 2004: 507-512 - Hui Zeng, David Rine:
A neural network approach for software defects fix effort estimation. IASTED Conf. on Software Engineering and Applications 2004: 513-517
Software tools and techniques
- John D. Roberts, Ilmi Yoon, Sanghyuk Yoon, Edward Lank:
An interface mark-up language for web3D. IASTED Conf. on Software Engineering and Applications 2004: 518-522 - Hajime Iwata, Junko Shirogane, Yoshiaki Fukazawa:
Generating tutorial system from sequence diagrams in UML. IASTED Conf. on Software Engineering and Applications 2004: 523-528 - Sadahiro Isoda:
On execution control of UML's use case. IASTED Conf. on Software Engineering and Applications 2004: 529-533 - Liwu Li, Wenjiang Wang:
Object-oriented programming with dynamic classification in C#. IASTED Conf. on Software Engineering and Applications 2004: 534-539 - Yukio Ishihara, Makio Ishihara:
An approach to realize click, double-click, and drag in 3D. IASTED Conf. on Software Engineering and Applications 2004: 540-545 - Yasutaka Kono, Shingo Takada, Norihisa Doi:
A framework for multiple service discovery and robustness. IASTED Conf. on Software Engineering and Applications 2004: 546-551 - Jean Utke, Uwe Naumann:
Separating language dependent and independent tasks for the semantic transformation of numerical programs. IASTED Conf. on Software Engineering and Applications 2004: 552-558 - Cinzia Bernardeschi, Luca Martini, Paolo Masci:
Java bytecode verification with dynamic structures. IASTED Conf. on Software Engineering and Applications 2004: 559-564 - Xiao Hu, Ting Lei, Yuchang Gong, Xuehai Zhou:
Compiling adaptive programs for real-time dynamic scheduling. IASTED Conf. on Software Engineering and Applications 2004: 565-570 - Serge Midonnet, Hui Xue Zhao:
A standard real-time application development using real-time java specification from theory to practice. IASTED Conf. on Software Engineering and Applications 2004: 571-576 - Theodorus Eric Setiadi, Ken Nakayama, Yoshitake Kobayashi, Mamoru Maekawa:
Identifying candidate invariant conditions of running program. IASTED Conf. on Software Engineering and Applications 2004: 577-582 - Yingzhou Zhang, Baowen Xu, Ju Qian:
Modular monadic slicing of concurrent programs. IASTED Conf. on Software Engineering and Applications 2004: 583-587 - Taolue Chen, Tingting Han, Jian Lu:
Tree logic with recursion and model checking algorithm. IASTED Conf. on Software Engineering and Applications 2004: 588-593 - Marco Calamita, Piero Lunghi, Riccardo Melioli, Flavio Tonelli:
A supervised multi-agent approach for operations capacity planning through performances-driven analysis. IASTED Conf. on Software Engineering and Applications 2004: 594-600 - Edward Curry, Desmond Chambers, Gerard Lyons:
Enterprise service facilitation within agent environments. IASTED Conf. on Software Engineering and Applications 2004: 601-606
Software design and development
- Constantinos Constantinides, Therapon Skotiniotis:
The provision of contracts to enforce system semantics throughout software development. IASTED Conf. on Software Engineering and Applications 2004: 607-616 - Hongyuan Wang, Ke Zhang, Tie Feng, Haiyan Che, Yinshi Zheng:
Synthesizing statecharts through sequence diagrams analysis. IASTED Conf. on Software Engineering and Applications 2004: 617-622 - F. Tessier, Mourad Badri, Linda Badri:
An early detection of semantic conflicts between aspects: A model analysis based technique. IASTED Conf. on Software Engineering and Applications 2004: 623-628 - Sarun Chaiworawitgul, Proadpran Pitsatorn, Boonchai Sowanwanichkul:
Applying object oriented concept to combination logic design. IASTED Conf. on Software Engineering and Applications 2004: 629-634 - Axel Rauschmayer, Patrick Renner:
Tube: Interactive model-integrated object-oriented programming. IASTED Conf. on Software Engineering and Applications 2004: 635-640 - Geir A. Bjune, Jack R. Hagemeister:
Hyper-trace: Using hypertext linking for traceability. IASTED Conf. on Software Engineering and Applications 2004: 641-646 - Jing-Chiou Liou:
PLUS: A release management process for progressive software development model. IASTED Conf. on Software Engineering and Applications 2004: 647-652 - Jianyun Zhou, Tor Stålhane:
A component-based reference model for web-based systems. IASTED Conf. on Software Engineering and Applications 2004: 653-658 - Karim Visram:
Extreme programming: Pair-programmers, team players or future leaders? IASTED Conf. on Software Engineering and Applications 2004: 659-664 - Abdallah Mohamed, Günther Ruhe, Armin Eberlein:
Towards a customizable approach for COTS selection. IASTED Conf. on Software Engineering and Applications 2004: 665-671 - Fabrizio Fabbrini, Mario Fusani, Stefania Gnesi, Giuseppe Lami:
Automatic clustering of non-functional requirements. IASTED Conf. on Software Engineering and Applications 2004: 672-677 - Shyh-Kwei Chen, Kun-Lung Wu, Jih-Shyr Yih:
Decoupled common annotations for reusing XML document composition logic. IASTED Conf. on Software Engineering and Applications 2004: 678-683 - Geoff Coulson, Gordon S. Blair, Paul Grace, Ackbar Joolia, Kevin Lee, Jo Ueyama:
A component model for building systems software. IASTED Conf. on Software Engineering and Applications 2004: 684-689 - Radmila Juric, Jasna Kuljis, Ray J. Paul:
Contextualising components when addressing database interoperability. IASTED Conf. on Software Engineering and Applications 2004: 690-695 - Li Liao, Hareton K. N. Leung, Yuzhong Qu:
Automated support of quality improvement. IASTED Conf. on Software Engineering and Applications 2004: 696-702 - 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. IASTED Conf. on Software Engineering and Applications 2004: 703-708 - Øystein Haugen, Birger Møller-Pedersen, Jon Oldevik, Arnor Solberg:
An MDA®-based framework for model-driven product derivation. IASTED Conf. on Software Engineering and Applications 2004: 709-714 - Jirí Adámek, Frantisek Plásil:
Erroneous architecture is a relative concept. IASTED Conf. on Software Engineering and Applications 2004: 715-720 - M. R. Narasimhamurthy, Ramzan Nadaf, Animesh Bhowmick:
Automating VBI-data generation and validation. IASTED Conf. on Software Engineering and Applications 2004: 721-724 - Kuniharu Yamada, Shingo Takada, Norihisa Doi:
Towards use case based software reuse. IASTED Conf. on Software Engineering and Applications 2004: 725-730 - Rajendra K. Bera:
An algorithm for determining the equivalence of two blocks of assignment statements. IASTED Conf. on Software Engineering and Applications 2004: 731-735 - Hideo Hasegawa, Shingo Takada, Norihisa Doi:
Supporting the iterative development of sequence diagrams and statecharts. IASTED Conf. on Software Engineering and Applications 2004: 736-742 - Mark Burgin:
Logical tools for program integration and interoperability. IASTED Conf. on Software Engineering and Applications 2004: 743-748 - Angela Guercio, Bonita Simoes, Arvind K. Bansal:
Towards large scale voice activated dynamic and interactive internet based animation and modeling. IASTED Conf. on Software Engineering and Applications 2004: 749-754 - Jinhong Shen, Seiya Miyazaki, Terumasa Aoki, Hiroshi Yasuda:
Personal e-moviemaker design. IASTED Conf. on Software Engineering and Applications 2004: 755-760 - Kuan Jen Lin, Shih Wen Chen:
On the formulation of software cost for IO devices. IASTED Conf. on Software Engineering and Applications 2004: 761-766 - Richard A. Pyne, Ezra Kaahwa Mugisa:
Software component self-description: Labeling components in a software supermarket. IASTED Conf. on Software Engineering and Applications 2004: 767-772
Special session: Data mining software project databases
- Hamid Haidarian Shahri, Ahmad Abdollahzadeh Barforoush:
AFFDEF: Adaptive and flexible fuzzy duplicate elimination framework. IASTED Conf. on Software Engineering and Applications 2004: 773-780 - Mitja Lenic, Petra Povalej, Peter Kokol, Ana Isabel Cardoso:
Using cellular automata to predict reliability of modules. IASTED Conf. on Software Engineering and Applications 2004: 781-785 - Gregor Stiglic, Peter Kokol:
Bioinformatics approach to data mining of software bases. IASTED Conf. on Software Engineering and Applications 2004: 786-789 - Matej Mertik, Mitja Lenic, Milan Zorman, Maurizio Pighin:
Mining features of software reliability using multimethod data-mining approach. IASTED Conf. on Software Engineering and Applications 2004: 790-794
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.