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