2407 search results - page 337 / 482 » A Tool for Abstraction in Model Checking |
140
click to vote
IDEAL
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The work presented in this paper shows the capability of a connectionist model, based on a statistical technique called Exploratory Projection Pursuit (EPP), to identify ...
152
click to vote
SAPIR
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. As computer networks grow in size, both physically and geographically, more scalable solutions to network administration are becoming necessary. This need is amplified by...
193
click to vote
EUROPLOP
2006
15 years 7 months ago
2006
Writing patterns is a very important task for leveraging knowledge within an organization or in the software engineering community as a whole. Patterns are more than text, diagram...
158
click to vote
LR
2011
14 years 9 months ago
2011
Abstract We present methods and tools for modeling autonomously controlled production networks and investigation of their stability properties. Production networks are described as...
165
click to vote
ICTAC
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The classical work on test case generation and formal methods focuses either on algebraic or model-based specifications. In this paper we propose an approach to derive t...