2153 search results - page 324 / 431 » From Requirements Models to Formal Specifications in B |
173
click to vote
MEDINFO
2007
15 years 7 months ago
2007
Managing time-stamped data is essential to clinical research activities and often requires the use of considerable domain knowledge, which is difficult to support within database ...
164
click to vote
WSC
2004
15 years 7 months ago
2004
Stream Option Manager (SOM) is a set of mathematical tools developed at The MITRE Corporation's Center for Advanced Aviation System Development (CAASD). While still under dev...
172
click to vote
WSC
1997
15 years 7 months ago
1997
This paper discusses the design, development, and use of a performance monitoring tool for Distributed Interactive Simulations (DIS). A typical DIS environment consists of hundred...
185
click to vote
CVPR
2011
IEEE
15 years 2 months ago
2011
IEEE
We introduce a robust estimator called generalized projection based M-estimator (gpbM) which does not require the user to specify any scale parameters. For multiple inlier structu...
185
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
— This paper describes two tools that aim to support decision making during the migration of IT systems to the cloud. The first is a modeling tool that produces cost estimates of...