2513 search results - page 181 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
152
Voted
BIOINFORMATICS
2012
13 years 7 months ago
2012
Summary: The MolClass toolkit and data portal generates computational models from user-defined small molecule datasets based on structural features identified in hit and non-hit m...
125
click to vote
ER
1999
Springer
15 years 9 months ago
1999
Springer
We propose a method for modeling complex Web sources that have active user interaction requirements. Here active" refers to the fact that certain information in these sources ...
166
click to vote
CAISE
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Goal models have been used in Computer Science in order to represent software requirements, business objectives and design qualities. In previous work we have presented a...
136
click to vote
WCE
2007
15 years 5 months ago
2007
— When problems are present in production, equipment or the process which are critical for organizations, many management personnel and experts have to meet to propose a solution...
135
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
We present in this paper a library to compute with Taylor models, a technique extending interval arithmetic to reduce decorrelation and to solve differential equations. Numerical s...