1829 search results - page 134 / 366 » Towards Validation of Requirements Models |
171
click to vote
VL
2003
IEEE
15 years 11 months ago
2003
IEEE
The paper outlines a tool-supported approach to the design of Web applications. Behavioural models are augmented with web-based simulations of user interfaces to permit validation...
164
click to vote
PRDC
2005
IEEE
16 years 1 days ago
2005
IEEE
Supporting high availability by checkpointing and switching to a backup upon failure of a primary has a cost. Trade-off studies help system architects to decide whether higher ava...
158
click to vote
ICANN
2005
Springer
15 years 12 months ago
2005
Springer
Cricket females perform phonotaxis towards the specific sounds produced by male crickets. By means of a well-tuned peripheral auditory system the cricket is able to extract direct...
179
click to vote
IROS
2006
IEEE
16 years 15 days ago
2006
IEEE
Abstract— This paper introduces a method of building topological maps using sequences of images and the approximate string matching algorithm, which is commonly used in DNA seque...
234
click to vote
JIT
2005
Springer
15 years 12 months ago
2005
Springer
Automatic Grid resource discovery and brokerage shields the Grid middleware complexities from the Grid users and leads towards an invisible but simple and robust Grid. Realizing th...