2407 search results - page 337 / 482 » A Tool for Abstraction in Model Checking |
166
Voted
IDEAL
2005
Springer
16 years 14 days 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 ...
164
click to vote
SAPIR
2004
Springer
16 years 9 days 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...
222
Voted
EUROPLOP
2006
15 years 8 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...
175
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...
186
Voted
ICTAC
2004
Springer
16 years 10 days 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...