SOFSEM 2007: Theory and Practice of Computer Science

Point-to-Point Shortest Path Algorithms with Preprocessing

Pages 88-102

Goldberg, Andrew V.

Games, Time, and Probability: Graph Models for System Design and Analysis

Pages 103-110

Henzinger, Thomas A.

Agreement Technologies

Pages 111-113

Jennings, Nicholas R.

Automatic Testing of Object-Oriented Software

Pages 114-129

Meyer, Bertrand (et al.)

Architecture-Based Reasoning About Performability in Component-Based Systems

Pages 130-137

Schmidt, Heinz W.

Multimedia Retrieval Algorithmics

Pages 138-154

Veltkamp, Remco C.

Size of Quantum Finite State Transducers

Pages 155-163

Agadzanyan, Ruben (et al.)

Weighted Nearest Neighbor Algorithms for the Graph Exploration Problem on Cycles

Pages 164-175

Asahiro, Yuichi (et al.)

Straightening Drawings of Clustered Hierarchical Graphs

Pages 176-187

Bereg, Sergey (et al.)

Improved Upper Bounds for λ-Backbone Colorings Along Matchings and Stars

Pages 188-199

Broersma, Hajo (et al.)

About the Termination Detection in the Asynchronous Message Passing Model

Pages 200-211

Chalopin, Jérémie (et al.)

Fast Approximate Point Set Matching for Information Retrieval

Pages 212-223

Clifford, Raphaël (et al.)

A Software Architecture for Shared Resource Management in Mobile Ad Hoc Networks

Pages 224-234

Dagdeviren, Orhan (et al.)

Compressed Prefix Sums

Pages 235-247

Delpratt, O’Neil (et al.)

On Optimal Solutions for the Bottleneck Tower of Hanoi Problem

Pages 248-259

Dinitz, Yefim (et al.)

Competitive Maintenance of Minimum Spanning Trees in Dynamic Graphs

Pages 260-271

Dynia, Miroslaw (et al.)

Exact Max 2-Sat: Easier and Faster

Pages 272-283

Fürer, Martin (et al.)

Maximum Finding in the Symmetric Radio Networks with Collision Detection

Pages 284-294

Galčík, František (et al.)

An Approach to Modelling and Verification of Component Based Systems

Pages 295-308

Gössler, Gregor (et al.)

Improved Undecidability Results on the Emptiness Problem of Probabilistic and Quantum Cut-Point Languages

Pages 309-319

Hirvensalo, Mika

On the (High) Undecidability of Distributed Synthesis Problems

Pages 320-329

Janin, David

Maximum Rigid Components as Means for Direction-Based Localization in Sensor Networks

Pages 330-341

Katz, Bastian (et al.)

Online Service Management Algorithm for Cellular/WALN Multimedia Networks

Pages 342-346

Kim, Sungwook (et al.)

A Simple Algorithm for Stable Minimum Storage Merging

Pages 347-356

Kim, Pok-Son (et al.)

Generating High Dimensional Data and Query Sets

Pages 357-366

Kim, Sang-Wook (et al.)

Partial vs. Complete Domination: t-Dominating Set

Pages 367-376

Kneis, Joachim (et al.)

Estimates of Data Complexity in Neural-Network Learning

Pages 377-387

Kůrková, Věra

Concurrent and Located Synchronizations in π-Calculus

Pages 388-399

Lanese, Ivan

Efficient Group Key Agreement for Dynamic TETRA Networks

Pages 400-409

Lee, Su Mi (et al.)

Algorithmic Aspects of Minimum Energy Edge-Disjoint Paths in Wireless Networks

Pages 410-421

Maier, Markus (et al.)

The P k Partition Problem and Related Problems in Bipartite Graphs

Pages 422-433

Monnot, Jérôme (et al.)

Spatial Selection of Sparse Pivots for Similarity Search in Metric Spaces

Pages 434-445

Pedreira, Oscar (et al.)

A Model of an Amorphous Computer and Its Communication Protocol

Pages 446-455

Petrů, Lukáš (et al.)

A Branch-and-Bound Algorithm to Solve Large Scale Integer Quadratic Multi-Knapsack Problems

Pages 456-464

Quadri, Dominique (et al.)

Indexing Factors with Gaps

Pages 465-474

Rahman, M. Sohel (et al.)

Information Efficiency

Pages 475-487

Ratsaby, Joel

Deterministic Simulation of a NFA with k–Symbol Lookahead

Pages 488-497

Ravikumar, Bala (et al.)

Mobility Management Using Virtual Domain in IPv6-Based Cellular Networks

Pages 498-509

Seo, Jae-Kwon (et al.)

Restarting Tree Automata

Pages 510-521

Stamer, Heiko (et al.)

A Polynomial Time Constructible Hitting Set for Restricted 1-Branching Programs of Width 3

Pages 522-531

Šíma, Jiří (et al.)

Formal Translation Directed by Parallel LLP Parsing

Pages 532-543

Vagner, Ladislav (et al.)

Self-adaptive Lagrange Relaxation Algorithm for Aggregated Multicast

Pages 544-553

Wang, Hua (et al.)

A Language for Reliable Service Composition

Pages 554-565

Xiao, Qingjun (et al.)

Operational Semantics of Framed Temporal Logic Programs

Pages 566-578

Yang, Xiaoxiao (et al.)

Constraints for Argument Filterings

Pages 579-590

Zankl, Harald (et al.)

Performance Analysis of a Multiagent Architecture for Passenger Transportation

Pages 591-600

Cubillos, Claudio (et al.)

Teacher-Directed Learning with Mixture of Experts for View-Independent Face Recognition

Pages 601-611

Ebrahimpour, Reza (et al.)

FTTH-Enhanced Mini-System m TBCP-Based Overlay Construction and Evaluation

Pages 612-623

Kang, Mi-Young (et al.)

On Efficient Resource Allocation in Communication Networks

Pages 624-635

Karpowicz, Michał (et al.)

Protecting Agent from Attack in Grid ComputingIII

Pages 636-643

Kim, Byungryong

Incremental Learning of Planning Operators in Stochastic Domains

Pages 644-655

Safaei, Javad (et al.)

Competitive Contract Net Protocol

Pages 656-668

Vokřínek, Jiří (et al.)

Agent Oriented Methodology Construction and Customization with HDA

Pages 669-681

Xiao, Xue (et al.)

Building an Ontological Base for Experimental Evaluation of Semantic Web Applications

Pages 682-692

Bartalos, Peter (et al.)

Semantic Web Approach in Designing a Collaborative E-Item Bank System

Pages 693-704

Kim, Heung-Nam (et al.)

A Hybrid Region Weighting Approach for Relevance Feedback in Region-Based Image Search on the Web

Pages 705-715

Kim, Deok-Hwan (et al.)

Rapid Development of Web Interfaces to Heterogeneous Systems

Pages 716-725

Leal, José Paulo (et al.)

Enhancing Security by Embedding Biometric Data in IP Header

Pages 726-737

Lee, Dae Sung (et al.)

Runtime-Efficient Approach for Multiple Continuous Filtering in XML Message Brokers

Pages 738-749

Lee, Hyunho (et al.)

A Semantic Peer-to-Peer Overlay for Web Services Discovery

Pages 750-760

Li, Yong (et al.)

Multi-document Summarization Based on Cluster Using Non-negative Matrix Factorization

Pages 761-770

Park, Sun (et al.)

A Program Slicing Based Method to Filter XML/DTD Documents

Pages 771-782

Silva, Josep

A Hybrid Approach for XML Similarity

Pages 783-795

Tekli, Joe (et al.)

Personalized Presentation in Web-Based Information Systems

Pages 796-807

Tvarožek, Michal (et al.)

Immune-Inspired Online Method for Service Interactions Detection

Pages 808-818

Zhang, Jianyin (et al.)

Separation of Concerns and Consistent Integration in Requirements Modelling

Pages 819-831

Chen, Xin (et al.)

Checking Interaction Consistency in MARMOT Component Refinements

Pages 832-843

Choi, Yunja

Towards a Versatile Contract Model to Organize Behavioral Specifications

Pages 844-855

Collet, Philippe (et al.)

Improved Processing of Textual Use Cases: Deriving Behavior Specifications

Pages 856-868

Drazan, Jaroslav (et al.)

A Dialogue-Based NLIDB System in a Schedule Management Domain

Pages 869-877

Kim, Harksoo

Experimental Assessment of the Practicality of a Fault-Tolerant System

Pages 878-887

Kim, Jai Wug (et al.)

A Polynomial-Time Checkable Sufficient Condition for Deadlock-Freedom of Component-Based Systems

Pages 888-899

Majster-Cederbaum, Mila (et al.)

Extracting Zing Models from C Source Code

Pages 900-910

Matousek, Tomas (et al.)

Parameterised Extra-Functional Prediction of Component-Based Control Systems – Industrial Experience

Pages 911-922

Peake, Ian D. (et al.)

Explicit Connectors in Component Based Software Engineering for Distributed Embedded Systems

Pages 923-934

Schreiner, Dietmar (et al.)