4890 search results - page 217 / 978 » From system specifications to component behavioral models |
174
click to vote
ECIR
2007
Springer
15 years 8 months ago
2007
Springer
Question answering systems rely on retrieval components to identify documents that contain an answer to a user’s question. The formulation of queries that are used for retrieving...
124
click to vote
SIAMMA
2010
15 years 1 months ago
2010
In this paper we analyze a nonlocal reaction-diffusion model which arises from the modeling of competition of phytoplankton species with incomplete mixing in a water column. The no...
186
click to vote
INTERACT
2003
15 years 8 months ago
2003
Abstract: Representing the behaviour of multimodal interactive systems in a complete, concise and nonambiguous way is still a challenge for formal description techniques. Indeed, m...
179
click to vote
SEFM
2003
IEEE
15 years 12 months ago
2003
IEEE
Despite the advances in software engineering since 1968, current methods for going from a set of functional requirements to a design are not as direct, repeatable and constructive...
151
click to vote
ICCD
2005
IEEE
16 years 3 months ago
2005
IEEE
This paper presents a methodology to transfer self-timed circuit specifications into sequential quantum Boolean circuits (SQBCs) and composable SQBCs (CQBCs). State graphs (SGs) a...