Abstract is missing.
- Conformance Testing Techniques for Timed SystemsHacène Fouchal. 1-19 [doi]
- Counter-Constrained Finite State Machines: A New Model for Component Protocols with Resource-DependenciesRalf Reussner. 20-40 [doi]
- Equivalence-Checking with Infinite-State Systems: Techniques and ResultsAntonín Kucera, Petr Jancar. 41-73 [doi]
- On Functions and Types: A TutorialFairouz Kamareddine. 74-93 [doi]
- Database Support for Multisource Multiresolution Scientific DataPhilip J. Rhodes, R. Daniel Bergeron, Ted M. Sparr. 94-114 [doi]
- Semantic Annotation and Indexing of News and Sports VideosJürgen Assfalg, Marco Bertini, Carlo Colombo, Alberto Del Bimbo, Walter Nunziati. 115-131 [doi]
- Multimedia Presentations DatabasesMaria Luisa Sapino. 132-134 [doi]
- Interactive Indexing and Retrieval of Multimedia ContentMarcel Worring, Andrew D. Bagdanov, Jan van Gemert, Jan-Mark Geusebroek, Hoang Minh, Guus Schreiber, Cees Snoek, Jeroen Vendrig, Jan Wielemaker, Arnold W. M. Smeulders. 135-148 [doi]
- A Model-Based Approach to Semantic-Based Retrieval of Visual InformationForouzan Golshani, Youngchoon Park, Sethuraman Panchanathan. 149-167 [doi]
- Bipolarity in Possibilistic Logic and Fuzzy RulesDidier Dubois, Henri Prade. 168-173 [doi]
- Data Management Challenges for GRID ComputingKeith G. Jeffery. 174-180 [doi]
- Hungarian Speech Synthesis Using a Phase Exact HNM ApproachKornél Kovács, András Kocsor, László Tóth. 181-185 [doi]
- Modelling Resource Transitions in Constraint-Based SchedulingRoman Barták. 186-194 [doi]
- A Specification Framework for Real-Time SchedulingK. Subramani. 195-207 [doi]
- String Transformation for n -Dimensional Image CompressionMartin Kutrib, Jan-Thomas Löwe. 208-217 [doi]
- Validation and Decomposition of Partially Occluded ImagesCostas S. Iliopoulos, Manal Mohamed. 218-230 [doi]
- Solving Conflicts of Agent Knowledge States in Multiagent SystemsRadoslaw Katarzyniak, Ngoc Thanh Nguyen. 231-239 [doi]
- Specification and Verification of Secure Business Transaction SystemsVangalur S. Alagar, Kasilingam Periyasamy. 240-252 [doi]
- Agent-Oriented Model of Simulated EvolutionMarek Kisiel-Dorohinicki. 253-261 [doi]
- The Reconstruction of Some 3D Convex Polyominoes from Orthogonal ProjectionsMaciej Gebala. 262-272 [doi]
- The Complexity of Probabilistic versus Quantum Finite AutomataGatis Midrijanis. 273-278 [doi]
- Do We Need Liveness? - Approximation of Liveness Properties by Safety PropertiesUlrich Ultes-Nitsche. 279-288 [doi]