10159 search results - page 313 / 2032 » System Design Validation Using Formal Models |
191
click to vote
DLOG
2003
15 years 8 months ago
2003
In this chapter, we are concerned with the relationship between Description Logics and other formalisms, regardless of whether they were designed for knowledge representation issu...
174
click to vote
EMSOFT
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We present a framework to extend the concept of type systems in programming languages to capture the dynamic interaction in component-based design, such as the communicat...
179
click to vote
IWSOS
2009
Springer
16 years 1 months ago
2009
Springer
Self-organization, whereby through purely local interactions, global order and structure emerge, is studied broadly across many fields of science, economics, and engineering. We ...
149
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
Agent-based simulation is increasingly used to analyze the performance of complex systems. There are two main ways agentbased models are built -- from equation-based models and di...
171
click to vote
WSC
2007
15 years 9 months ago
2007
Agility, speed and flexibility in production networks are required in today's global competition in the flat world. The accuracy of order date delivery promises is a key elem...