886 search results - page 24 / 178 » Experiences Using Lightweight Formal Methods for Requirement... |
IHI
2010
14 years 4 months ago
2010
One goal of medical device certification is to show that a given medical device satisfies its requirements. The requirements that should be met by a device, however, depend on the...
ENTCS
2006
14 years 9 months ago
2006
The approaches to automatic formal verification of UML models known up to now require a finite bound on the number of objects existing at each point in time. In [4] we have observ...
SADM
2011
14 years 4 months ago
2011
Abstract: Visualizing data by graphing a response against certain factors, and conditioning on other factors, has arisen independently in many contexts. One is the interaction plot...
105
click to vote
JCB
2006
14 years 9 months ago
2006
Biological systems are traditionally studied by focusing on a specific subsystem, building an intuitive model for it, and refining the model using results from carefully designed ...
101
click to vote
KCAP
2009
ACM
15 years 4 months ago
2009
ACM
Curating information from the literature for storage in databases is a crucial task in biological research, and many groups assign a particular person or team to that process. We ...