2153 search results - page 175 / 431 » From Requirements Models to Formal Specifications in B |
175
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Protein domains present some of the most useful information that can be used to understand protein structure and functions. Recent research on protein domain boundary ...
184
click to vote
FORMATS
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we consider a novel approach to the temporal logic verification problem of continuous dynamical systems. Our methodology has the distinctive feature that enables the...
159
click to vote
ISSTA
2006
ACM
16 years 12 days ago
2006
ACM
In black-box testing, one is interested in creating a suite of tests from requirements that adequately exercise the behavior of a software system without regard to the internal st...
174
click to vote
DASIP
2010
15 years 1 months ago
2010
The Reconfigurable Video Coding (RVC) framework is a recent ISO standard aiming at providing a unified specification of MPEG video technology in the form of a library of component...
144
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
The model presented in this paper incorporates various causal and feedback loops in the structure of the dynamic decision-making processes and performance in nonequity alliances. ...