5550 search results - page 337 / 1110 » Different Approaches to Proof Systems |
154
click to vote
COMPSAC
2009
IEEE
16 years 1 months ago
2009
IEEE
In software engineering projects, there are two different types of modeling tools. On the one hand, there are tools to model the system under construction, i.e. tools for requirem...
192
click to vote
EUROMICRO
2005
IEEE
16 years 12 days ago
2005
IEEE
The guaranty of meeting the timing constraints during the design phase of real-time component-based embedded software has not been realized. To satisfy real-time requirements, we ...
212
click to vote
AGTIVE
2003
Springer
16 years 20 hour ago
2003
Springer
Abstract. This paper presents the role of meta-modelling and graph transformation in our approach for the modelling, analysis and simulation of complex systems. These are made of c...
183
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
Some safety-critical distributed embedded systems may need to use centralized components to achieve certain dependability properties. The difficulty in combining centralized and d...
152
click to vote
COLING
1996
15 years 8 months ago
1996
We. are going to describe the design and implementatior, of a connnuniealion system l.or large AI projects, capable of supporting various software components in a heterogeneous ha...