1146 search results - page 144 / 230 » Formal Specification Generation from Requirement Documents |
KI
2002
Springer
14 years 9 months ago
2002
Springer
The algorithmic generation of textual descriptions of image sequences requires conceptual knowledge. In our case, a stationary camera recorded image sequences of road traffic scene...
ICDCSW
2006
IEEE
15 years 4 months ago
2006
IEEE
The Fluids and Combustion Facility (FCF) will be a permanent modular, multi-user facility used to accommodate microgravity science experiments in the U.S. Laboratory Module onboar...
ICMAS
2000
14 years 11 months ago
2000
This paper investigates the computational complexity of a fundamental problem in multi-agent systems: given an environment together with a specification of some task, can we const...
109
click to vote
ECMDAFA
2009
Springer
15 years 4 months ago
2009
Springer
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
102
click to vote
IUI
2003
ACM
15 years 3 months ago
2003
ACM
Authoring dynamic web pages is an inherently difficult task. We present DESK, an interactive authoring tool that allows the customization of dynamic page generation procedures wit...