Sciweavers

3809 search results - page 306 / 762
» Associative language descriptions
Sort
View
DATESO
2004
80views Database» more  DATESO 2004»
15 years 8 months ago
Storing XML Data In a Native Repository
This paper is concerned with storing XML data in a native repository suitable for querying with modern languages such as XPath or XQuery. It contains a description of the experimen...
Kamil Toman
184
Voted
SEC
2003
15 years 8 months ago
From Finite State Machines to Provably Correct Java Card Applets
Abstract This paper presents a systematic approach to developing Java Card applets and/or formal specifications for them, starting from descriptions in the form of finite state m...
Engelbert Hubbers, Martijn Oostdijk, Erik Poll
COOTS
1998
15 years 8 months ago
The Architecture of a Distributed Virtual Worlds System
We have developed an object model that facilitates the development of shared virtual environments. We have implemented our object model on top of COM and OLE Automation and facili...
Manny Vellon, Kirk Marple, Don Mitchell, Steven Dr...
171
Voted
ACL
1993
15 years 8 months ago
Extending Kimmo's Two-Level Model of Morphology
This paper describes the problems faced while using Kimmo's two-level model to describe certain Indian languages such as Tamil and Hindi. The two-level model is shown to be d...
Anoop Sarkar
IFIP
2004
Springer
16 years 3 days ago
Safety assessment with AltaRica
: AIRBUS and ONERA used the AltaRica formal language and associated tools to perform safety assessments. Lessons learnt during the study of an electrical and hydraulic system are p...
Pierre Bieber, Christian Bougnol, Charles Castel, ...