1767 search results - page 72 / 354 » An Integrated Model for Cellular Analysis |
174
click to vote
IASSE
2004
15 years 7 months ago
2004
The Rationale-based Analysis Tool (RAT) supports analysts, developers, clients and end users during the objectoriented requirements analysis activity. The tool enables different s...
162
click to vote
ESORICS
2003
Springer
15 years 11 months ago
2003
Springer
We introduce the on-the-fly model-checker OFMC, a tool that combines two methods for analyzing security protocols. The first is the use of lazy data-types as a simple way of buil...
184
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper introduces a modular modeling approach for distributed production systems, considering production and maintenance processes synchronization. Thus, production job shop, p...
135
click to vote
TIM
2010
15 years 27 days ago
2010
Abstract--This paper focuses on the errors affecting the estimation of power switching losses in power semiconductor devices based on integration of the voltage by current product....
163
click to vote
VIS
2004
IEEE
16 years 7 months ago
2004
IEEE
Multimedia objects are often described by high-dimensional feature vectors which can be used for retrieval and clustering tasks. We have built an interactive retrieval system for ...