Sciweavers

5608 search results - page 119 / 1122
» Structure description tools
Sort
View
CODES
2006
IEEE
15 years 4 months ago
Generic netlist representation for system and PE level design exploration
Designer productivity and design predictability are vital factors for successful embedded system design. Shrinking time-to-market and increasing complexity of these systems requir...
Bita Gorjiara, Mehrdad Reshadi, Pramod Chandraiah,...
FMCO
2003
Springer
121views Formal Methods» more  FMCO 2003»
15 years 3 months ago
TulaFale: A Security Tool for Web Services
Web services security specifications are typically expressed as a mixture of XML schemas, example messages, and narrative explanations. We propose a new specification language fo...
Karthikeyan Bhargavan, Cédric Fournet, Andr...
COLING
1996
14 years 11 months ago
Compositional Semantics in Verbmobil
The paper discusses how compositional semantics is implemented in the Verbmobil speech-to-speech translation system using LUD, a description language for underspecified discourse ...
Johan Bos, Björn Gambäck, Christian Lies...
MODELS
2007
Springer
15 years 4 months ago
Architectural Aspects in UML
We propose a method for describing architectural aspects in UML and show how binding specifications are used to compose aspects with base models. UML classes, parts, ports, and c...
Jon Oldevik, Øystein Haugen
ACL
2001
14 years 11 months ago
Word Order in German: A Formal Dependency Grammar Using a Topological Hierarchy
This paper proposes a description of German word order including phenomena considered as complex, such as scrambling, (partial) VP fronting and verbal pied piping. Our description...
Kim Gerdes, Sylvain Kahane