35. HICSS 2002:
Big Island,
Hawaii,
USA
35th Hawaii International Conference on System Sciences (HICSS-35 2002),
CD-ROM / Abstracts Proceedings,
7-10 January 2002,
Big Island,
HI,
USA. IEEE Computer Society,
2002 - Track 9
Advances in Software Specification and Verification (STSSV)
- Ann E. Kelley Sobel, Richard C. Linger:
Minitrack Introduction.
275
Electronic Edition (link) BibTeX
- Jim Alves-Foss, Daniel Conte de Leon, Paul W. Oman:
Experiments in the Use of XML to Enhance Traceability between Object-Oriented Design Specifications and Source Code.
276
Electronic Edition (link) BibTeX
- William N. Robinson:
Monitoring Software Requirements Using Instrumented Code.
276 BibTeX
- Stephan Flake, Wolfgang Müller:
Specification of Real-Time Properties for UML Models.
277
Electronic Edition (link) BibTeX
- Christopher Landauer, Kirstie L. Bellman:
Wrappings for One-of-a-Kind Software Development.
277
Electronic Edition (link) BibTeX
- R. F. Lutje Spelberg, W. J. Toetenel:
Splitting Trees and Partition Refinement in Real-Time Model Checking.
278
Electronic Edition (link) BibTeX
- Alan R. Hevner, Richard C. Linger, Ann E. Kelley Sobel, Gwendolyn H. Walton:
The Flow-Service-Quality Framework: Unified Engineering for Large-Scale, Adaptive Systems.
278
Electronic Edition (link) BibTeX
Domain-Specific Languages for Software Engineering (STDSL)
- Jan Heering, Marjan Mernik:
Minitrack Introduction.
279
Electronic Edition (link) BibTeX
- Barrett R. Bryant, Beum-Seuk Lee:
Two-Level Grammar as an Object-Oriented Requirements Specification Language.
280
Electronic Edition (link) BibTeX
- Sjouke Mauw, Wouter T. Wiersma, Tim A. C. Willemse:
Language Driven System Design.
280
Electronic Edition (link) BibTeX
- Anthony M. Sloane:
Post-design Domain-Specific Language Embedding: A Case Study in the Software Engineering Domain.
281
Electronic Edition (link) BibTeX
- Kevin A. Schneider, James R. Cordy:
AUI: A Programming Language for Developing Plastic Interactive Software.
281
Electronic Edition (link) BibTeX
- Adrian Johnstone, Elizabeth Scott:
Generalised Reduction Modified LR Parsing for Domain Specific Language Prototyping.
282
Electronic Edition (link) BibTeX
- Nelson S. Rosa, P. R. F. Cunha, George R. Ribeiro-Justo:
ProcessNFL: A Language for Describing Non-functional Properties.
282
Electronic Edition (link) BibTeX
- Uwe Glässer, Yuri Gurevich, Margus Veanes:
High-Level Executable Specification of the Universal Plug and Play Architecture.
283
Electronic Edition (link) BibTeX
- Kresimir Fertalj, Damir Kalpic, Vedran Mornar:
Source Code Generator Based on a Proprietary Specification Language.
283
Electronic Edition (link) BibTeX
Enterprise Application Integration:
Methodologies,
Architectures,
and Technologies (STEAI)
Integrated Modeling of Distributed Systems and Workflow Applications (STIMD)
Mobile Applications (STMAP)
Mobile Computing and Wireless Network (STMCW)
- Jie Wu:
An Extended Dynamic Source Routing Scheme in Ad Hoc Wireless Networks.
296
Electronic Edition (link) BibTeX
- Xiang-Yang Li, Peng-Jun Wan, Yu Wang, Ophir Frieder:
Sparse Power Efficient Topology for Wireless Networks.
296
Electronic Edition (link) BibTeX
- Khaled M. Alzoubi, Peng-Jun Wan, Ophir Frieder:
New Distributed Algorithm for Connected Dominating Set in Wireless Ad Hoc Networks.
297
Electronic Edition (link) BibTeX
- Bhaskar Krishnamachari, Ramón Béjar, Stephen B. Wicker:
Distributed Problem Solving and the Boundaries of Self-Configuration in Multi-hop Wireless Networks.
297
Electronic Edition (link) BibTeX
- Amir Qayyum, Laurent Viennot, Anis Laouiti:
Multipoint Relaying for Flooding Broadcast Messages in Mobile Wireless Networks.
298
Electronic Edition (link) BibTeX
- Mahnoosh Mobasseri, Victor C. M. Leung:
A New Buffer Management Scheme for Multimedia Terminals in Broadband Satellite Networks.
298
Electronic Edition (link) BibTeX
- Wuyi Yue, Yutaka Matsumoto:
Performance Analysis of CSMA/CA DFT Wireless LAN Systems with Pulse Signal Transmission for Multi-traffic.
299
Electronic Edition (link) BibTeX
- Fred Darnell, Veljko M. Milutinovic, I. Branovic, M. Desivojevic, S. Ilic, V. Jovanovic, V. Jovicic, B. Milic, Dragana Milutinovic, S. Omorac, M. Savic, Mirjana Simic, N. Uskokovic, Dj. Velickovic:
Testing the E-business Infrastructure: Expanding into the Wireless/Mobile Environments.
299
Electronic Edition (link) BibTeX
- Swades De, Ozan K. Tonguz, Hongyi Wu, Chunming Qiao:
Integrated Cellular and Ad Hoc Relay (iCAR) Systems: Pushing the Performance Limits of Conventional Wireless Networks.
300
Electronic Edition (link) BibTeX
- Petia Todorova:
Network Management in ATM LEO Satellite Networks.
300
Electronic Edition (link) BibTeX
Peer-2-Peer E-commerce Systems and Applications (STPTP)
Trading of Intangible Goods (STTIG)
- Dimitri Konstantas, Erich J. Neuhold, Vaggelis Ouzounis, Fred Wall:
Minitrack Introduction.
305
Electronic Edition (link) BibTeX
- Larry Korba:
Privacy in Distributed Electronic Commerce.
306
Electronic Edition (link) BibTeX
- Norihisa Segawa, Yuko Murayama, Masatoshi Miyazaki:
Information Hiding with a Handwritten Message in Vector-Drawing Codes.
306
Electronic Edition (link) BibTeX
- Sebastian Fischmeister, Günther Hagleitner, Wolfgang Pree:
Hermes--A Lean M-commerce Software Platform Utilizing Electronic Signatures.
307
Electronic Edition (link) BibTeX
- Claudio Muscogiuri, Gerald Jaeschke, Aldo Paradiso, Matthias Hemmje:
FAIRWIS: An Integrated System Offering Trade Fair Web-Based Information Services - An R&D Case Study.
307
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:14:37 2009
by Michael Ley (ley@uni-trier.de)
