CSDL - Proceedings H

Advances in Software Specification and Verification (STSSV)

pp. 275

Experiments in the Use of XML to Enhance Traceability between Object-Oriented Design Specifications and Source Code (PDF)

J. Alves-Foss

D. Conte de Leon

P. Oman

pp. 276

Monitoring Software Requirements Using Instrumented Code (PDF)

W. Robinson

pp. 276b

The Flow-Service-Quality Framework: Unified Engineering for Large-Scale, Adaptive Systems (PDF)

Specification of Real-Time Properties for UML Models (PDF)

pp. 277

Wrappings for One-of-a-Kind Software Development (PDF)

pp. 277b

Splitting Trees and Partition Refinement in Real-Time Model Checking (PDF)

pp. 278

pp. 278b

Domain-Specific Languages for Software Engineering (STDSL)

pp. 279

Two-Level Grammar as an Object-Oriented Requirements Specification Language (PDF)

pp. 280

Language Driven System Design (PDF)

S. Mauw

pp. 280b

Post-design Domain-Specific Language Embedding: A Case Study in the Software Engineering Domain (PDF)

A. Sloane

pp. 281

Generalised Reduction Modified LR Parsing for Domain Specific Language Prototyping (PDF)

AUI: A Programming Language for Developing Plastic Interactive Software (PDF)

pp. 281b

pp. 282

ProcessNFL: A Language for Describing Non-functional Properties (PDF)

N. Rosa

pp. 282b

High-Level Executable Specification of the Universal Plug and Play Architecture (PDF)

pp. 283

Source Code Generator Based on a Proprietary Specification Language (PDF)

pp. 283b

Enterprise Application Integration: Methodologies, Architectures, and Technologies (STEAI)

pp. 284

Impact of Model-Driven Standards (PDF)

D. Flater

pp. 285

Deploying Networked Real-Time Simulation, Putting the Virtual Enterprise to Work Some Aerospace Experiences (PDF)

E. Kesseler

pp. 285b

Evaluating and Adopting Application Integration: The Case of a Multinational Petroleum Company (PDF)

pp. 286

Enterprise Application Integration Encounters Complex Adaptive Systems: A Business Object Perspective (PDF)

pp. 286b

Architectural Design Support for Composition & Superimposition (PDF)

pp. 287

Integrated Modeling of Distributed Systems and Workflow Applications (STIMD)

pp. 288

A Novel Graph Reduction Algorithm to Identify Structural Conflicts (PDF)

H. Lin

Z. Zhao

H. Li

Z. Chen

pp. 289

Supporting Dynamic Process Specifications Using Communication-Based Processes (PDF)

pp. 289b

A Framework Supporting Dynamic Workflow Interoperation and Enterprise Application Integration (PDF)

M. Kwak

D. Han

J. Shim

pp. 290

Extending UML Activity Diagram for Workflow Modeling in Production Systems (PDF)

Weaving Definition and Execution Aspects of Process Meta-models (PDF)

pp. 290b

R. Bastos

D. Dubugras

A. Ruiz

pp. 291

Workflow-Centric Distribution of Organizational Knowledge: The Case of Document Flow Coordination (PDF)

J. Zhao

pp. 291b

Mobile Applications (STMAP)

pp. 292

An Adaptive MP3 Player: Reducing Power Consumption and Increasing Application Performance (PDF)

An Architecture for Location Aware Applications (PDF)

J. Nord

pp. 293

T. Kunz

S. Omar

pp. 293b

Reaching out to the Cell Phone with Jini (PDF)

pp. 294

Mobile Computing and Wireless Network (STMCW)

An Extended Dynamic Source Routing Scheme in Ad Hoc Wireless Networks (PDF)

J. Wu

pp. 296

New Distributed Algorithm for Connected Dominating Set in Wireless Ad Hoc Networks (PDF)

Sparse Power Efficient Topology for Wireless Networks (PDF)

Y. Wang

pp. 296b

pp. 297

Distributed Problem Solving and the Boundaries of Self-Configuration in Multi-hop Wireless Networks (PDF)

pp. 297b

Multipoint Relaying for Flooding Broadcast Messages in Mobile Wireless Networks (PDF)

pp. 298

A New Buffer Management Scheme for Multimedia Terminals in Broadband Satellite Networks (PDF)

pp. 298b

Performance Analysis of CSMA/CA DFT Wireless LAN Systems with Pulse Signal Transmission for Multi-traffic (PDF)

W. Yue

Y. Matsumoto

pp. 299

Testing the E-business Infrastructure: Expanding into the Wireless/Mobile Environments (PDF)

S. Ilic

pp. 299b

Integrated Cellular and Ad Hoc Relay (iCAR) Systems: Pushing the Performance Limits of Conventional Wireless Networks (PDF)

S. De

O. Tonguz

H. Wu

C. Qiao

pp. 300

Network Management in ATM LEO Satellite Networks (PDF)

P. Todorova

pp. 300b

Peer-2-Peer E-commerce Systems and Applications (STPTP)

pp. 301

P2P in B2BI (PDF)

pp. 302

Participation Incentive Mechanisms in Peer-to-Peer Subscription Systems (PDF)

S. Lui

K. Lang

S. Kwok

pp. 302b

Security Issues and Requirements for Internet-Scale Publish-Subscribe Systems (PDF)

C. Wang

A. Carzaniga

D. Evans

A. Wolf

pp. 303

Security Issues and Requirements for Internet-Scale Publish-Subscribe Systems (PDF)

C. Wang

A. Carzaniga

D. Evans

A. Wolf

pp. 303

A Secure Platform for Peer-to-Peer Computing in the Internet (PDF)

W. Kim

pp. 304

Trading of Intangible Goods (STTIG)

pp. 305

Privacy in Distributed Electronic Commerce (PDF)

L. Korba

pp. 306

Hermes--A Lean M-commerce Software Platform Utilizing Electronic Signatures (PDF)

Information Hiding with a Handwritten Message in Vector-Drawing Codes (PDF)

pp. 306b

S. Fischmeister

G. Hagleitner

W. Pree

pp. 307