11484 search results - page 552 / 2297 » Modeling in the Large and Modeling in the Small |
216
click to vote
SAC
2004
ACM
16 years 18 days ago
2004
ACM
for ideas, and then abstract away from these ideas to produce algorithmic processes that can create problem solutions in a bottom-up manner. We have previously described a top-dow...
204
click to vote
TACAS
2004
Springer
16 years 16 days ago
2004
Springer
Temporal logic is two-valued: formulas are interpreted as either true or false. When applied to the analysis of stochastic systems, or systems with imprecise formal models, tempor...
256
click to vote
ISBMS
2010
Springer
16 years 9 days ago
2010
Springer
Radio-frequency (RF) ablation is a minimal invasive thermal therapy, currently considered as an alternative to surgery to eradicate small solid kidney tumors. Our aim is to underst...
244
click to vote
ER
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Data in many industrial application systems are often neither completely structured nor unstructured. Consequently semi-structured data models such as XML have become pop...
208
click to vote
CSREAESA
2008
15 years 8 months ago
2008
To deal with the increasing complexity of embedded real-time systems the model-driven development approach has proven to be beneficial. The reduction of complexity achieved by the ...