9110 search results - page 1620 / 1822 » Formally-Based Design Evaluation |
133
Voted
SIMUTOOLS
2008
15 years 5 months ago
2008
In silico (on the computer) oncology is a multi-disciplinary field that focuses on the examination and modeling of biological mechanisms related to the phenomenon of cancer. In si...
183
click to vote
ICETE
2004
15 years 5 months ago
2004
ser provides abstraction for supporting flexible security policies that can be developed using the low-level primitives of the browser. We believe our browser architecture will be ...
139
click to vote
PDSE
2000
15 years 5 months ago
2000
The aim of this paper is to describe a generic interface through which a planning tool or design aid can be connected to a telecommunications network. In today's complex and ...
149
click to vote
WSC
1997
15 years 5 months ago
1997
In response to the expressed needs of MedModel users, PROMODEL Corporation has made substantial improvements in its MedModel healthcare simulation software. Beginning with its inc...
172
click to vote
WCE
2007
15 years 5 months ago
2007
—Spatial query execution is an essential functionality of a sensor network. Redundancy within a sensor network can be exploited to reduce the communication cost incurred in execu...