755 search results - page 9 / 151 » Compiler generation from structural architecture description... |
117
click to vote
COORDINATION
2005
Springer
15 years 9 months ago
2005
Springer
Architectural descriptions can provide support for a formal representation of the structure and the overall behavior of software systems, which is suitable for an early assessment ...
145
click to vote
DAC
2011
ACM
14 years 3 months ago
2011
ACM
We present a high-level synthesis technique that takes as input two orthogonal descriptions: (a) a behavioral architectural contract between the implementation and the user, and (...
134
Voted
EUROCAST
2007
Springer
15 years 7 months ago
2007
Springer
abstract Parsing schemata [4] provide a formal, simple and uniform way to describe, analyze and compare different parsing algorithms. The notion of a parsing schema comes from cons...
120
click to vote
AAAI
2008
15 years 5 months ago
2008
This system translates basic English descriptions of a wide range of objects in a simplistic zoo environment into plausible, three-dimensional, interactive visualizations of their...
133
Voted
ICCSA
2003
Springer
15 years 8 months ago
2003
Springer
This paper describes a system to create animated 3D scenes of car accidents from written reports. The text-to-scene conversion process consists of two stages. An information extrac...