Table of Contents

• Preface to CMLSA 2007Yi-Ping Phoebe Chen, Sven Hartmann. 1-2 [doi]
• Pattern Recognition of Single-Molecule Force Spectroscopy DataDirk Labudde, Annalisa Marsico, K. Tanuj Sapra, Michael Schroeder. 3-13 [doi]
• Massive Protein Structural Property Explorations Using New Indexing MechanismYu-Feng Huang, Chia-Chen Chang, Chien-Kang Huang. 14-23 [doi]
• Data Access and Management in ACGT: Tools to Solve Syntactic and Semantic Heterogeneities Between Clinical and Image DatabasesLuis Martín, Erwin Bonsma, Alberto Anguita, Jeroen Vrijnsen, Miguel García-Remesal, José Crespo, Manolis Tsiknakis, Victor Maojo. 24-33 [doi]
• Ontology-Based Data Integration in Data Logistics WorkflowsOlivier Curé, Stefan Jablonski. 34-43 [doi]
• Model-Driven Development Based Transformation of Stereotyped Class Diagrams to XML Schemas in a Healthcare ContextEladio Domínguez, Jorge Lloret, Beatriz Pérez, Áurea Rodríguez, Angel Luis Rubio, María Antonia Zapata. 44-53 [doi]
• An Extendable System for Conceptual Modeling and Simulation of Signal Transduction PathwaysSilke Eckstein, Claudia Täubner. 54-63 [doi]
• Toward an Ontological Database for Subcellular NeuroanatomyAmarnath Gupta, Stephen D. Larson, Christopher Condit, Sandeep Gupta, Lisa Fong, Li Chen, Maryann E. Martone. 64-73 [doi]
• Seed-Based Generation of Personalized Bio-ontologies for Information ExtractionCui Tao, David W. Embley. 74-84 [doi]
• Preface to FP-UML 2007Juan Trujillo, Jeffrey Parsons. 85 [doi]
• Developing State Diagrams Using a State Specialization TechniqueIl-Yeol Song, Ki Jung Lee. 86-95 [doi]
• Quality Dependencies Among Use Case Models and Sequence Diagrams Developed by Novice Systems AnalystsNarasimha Bolloju, Vijayan Sugumaran. 96-105 [doi]
• M-BPSec: A Method for Security Requirement Elicitation from a UML 2.0 Business Process SpecificationAlfonso Rodríguez, Eduardo Fernández-Medina, Mario Piattini. 106-115 [doi]
• Applying Model Transformation By-Example on Business Process Modeling LanguagesMichael Strommer, Marion Murzek, Manuel Wimmer. 116-125 [doi]
• Extending OCL to Ensure Model TransformationsFrançois Lagarde, François Terrier, Charles André, Sébastien Gérard. 126-136 [doi]
• A UML Profile for Modeling Data Warehouse UsageVeronika Stefanov, Beate List. 137-147 [doi]
• Preface to ONISW 2007Mathias Brochhausen, Martin Doerr, Hyoil Han. 148 [doi]
• A Method for Semi-automatic Creation of Ontologies Based on TextsLuiz C. C. Carvalheira, Edson Satoshi Gomi. 150-159 [doi]
• Enriching OWL with Instance Recognition Semantics for Automated Semantic AnnotationYihong Ding, David W. Embley, Stephen W. Liddle. 160-169 [doi]
• Making Web Users Domain Models Explicit by Applying OntologiesTarmo Robal, Hele-Mai Haav, Ahto Kalja. 170-179 [doi]
• Provability-Based Semantic Interoperability Via Translation GraphsJoshua Taylor, Andrew Shilliday, Selmer Bringsjord. 180-189 [doi]
• Preface to QoIS 2007Samira Si-Said Cherfi, Geert Poels. 191 [doi]
• PQM vs. BPQM: Studying the Tailoring of a General Quality Model to a Specific DomainCoral Calero, Cristina Cachero, Julio Córdoba, Maria Ángeles Moraga. 192-201 [doi]
• An Ontological Approach for the Quality Assessment of Computer Science ConferencesMaria Aparecida M. Souto, Mariusa Warpechowski, José Palazzo M. de Oliveira. 202-212 [doi]
• Using Practitioners for Assessing the Understandability of UML Statechart Diagrams with Composite StatesJosé A. Cruz-Lemus, Marcela Genero, Sandro Morasca, Mario Piattini. 213-222 [doi]
• Preface to RIGiM 2007Colette Rolland, Eric S. K. Yu. 223 [doi]
• An Ontology for RequirementsJohn Mylopoulos, Ivan Jureta, Stéphane Faulkner. 224 [doi]
• GOORE : Goal-Oriented and Ontology Driven Requirements Elicitation MethodMasayuki Shibaoka, Haruhiko Kaiya, Motoshi Saeki. 225-234 [doi]
• Early Prioritisation of GoalsSarah Hatton. 235-244 [doi]
• Goal-Aligned Requirements GenerationKousik Sankar Ramasubramaniam, Raman Venkatachar. 245-254 [doi]
• A Model-Driven Goal-Oriented Requirement Engineering Approach for Data WarehousesJose-Norberto Mazón, Jesús Pardillo, Juan Trujillo. 255-264 [doi]
• Visually Effective Goal Models Using KAOSRaimundas Matulevicius, Patrick Heymans. 265-275 [doi]
• Agent Based Executable Conceptual Models Using i* and CASOAniruddha Dasgupta, Aneesh Krishna, Aditya K. Ghose. 276-285 [doi]
• Achieving, Satisficing, and ExcellingIvan Jureta, Stéphane Faulkner, Pierre Yves Schobbens. 286-295 [doi]
• On the Adequacy of ::::i*:::: Models for Representing and Analyzing Software ArchitecturesGemma Grau, Xavier Franch. 296-305 [doi]
• Extending Argumentation to Goal-Oriented Requirements EngineeringIbrahim Habli, Weihang Wu, Katrina Attwood, Tim Kelly. 306-316 [doi]
• Preface to SeCoGIS 2007Esteban Zimányi, Michela Bertolotto. 317 [doi]
• Modeling Historical and Future Spatio-temporal Relationships of Moving Objects in DatabasesReasey Praing, Markus Schneider. 318-327 [doi]
• Towards a Semantic Spatial Model for Pedestrian Indoor NavigationEdgar-Philipp Stoffel, Bernhard Lorenz, Hans Jürgen Ohlbach. 328-337 [doi]
• Modeling Collaborative Semantics with a Geographic RecommenderChristoph Schlieder. 338-347 [doi]
• Dynamically Traveling Web Service Clustering Based on Spatial and Temporal AspectsYang Hao, Chen Junliang, Meng Xiangwu, Qiu Bingyu. 348-357 [doi]
• A Graph-Oriented Model and Query Language for EventsMiguel Romero, M. Andrea Rodríguez. 358-367 [doi]
• PLR Partitions: A Conceptual Model of MapsMark McKenney, Markus Schneider. 368-377 [doi]
• A Conceptual Framework to Support Semantic Interoperability of Geospatial DatacubesTarek Sboui, Yvan Bédard, Jean Brodeur, Thierry Badard. 378-387 [doi]
• On Languages for the Specification of Integrity Constraints in Spatial Conceptual ModelsMehrdad Salehi, Yvan Bédard, Mir Abolfazl Mostafavi, Jean Brodeur. 388-397 [doi]
• Approximate Queries by Relaxing Structural Constraints in GISArianna D Ulizia, Fernando Ferri, Patrizia Grifoni. 398-408 [doi]
• Ensuring the Semantic Correctness of Complex RegionsMark McKenney, Alejandro Pauly, Reasey Praing, Markus Schneider. 409-418 [doi]