2407 search results - page 300 / 482 » A Tool for Abstraction in Model Checking |
202
click to vote
ICANN
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. The Self-Organising Map (SOM) is a well-known neuralnetwork model that has successfully been used as a data analysis tool in many different domains. The SOM provides a to...
174
click to vote
JAR
2006
15 years 7 months ago
2006
Automated tools for finding attacks on flawed security protocols often fail to quately with group protocols. This is because the abstractions made to improve performance on fixed ...
214
click to vote
ASWSD
2004
Springer
16 years 14 days ago
2004
Springer
The paper first presents the integration options of what we call the Timing Description Language (TDL) with MathWorks' Simulink tools. Based on the paradigm of logical executi...
209
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Longer range, faster speed and stronger link are today’s wireless mandatory characteristics. Tremendous efforts are being deployed to create new and improved wireless ...
153
click to vote
ISPDC
2005
IEEE
16 years 20 days ago
2005
IEEE
Abstract. Grid architectures are execution environments that are known to be at the same time distributed, parallel, heterogeneous and dynamic. While current tools focus solutions ...