1525 search results - page 147 / 305 » Formal Models for Communication-Based Design |
117
Voted
TOG
2008
15 years 21 days ago
2008
This paper addresses the problem of interactively modeling large street networks. We introduce a modeling framework that uses tensor fields to guide the generation of a street gra...
143
Voted
CADE
2008
Springer
16 years 1 months ago
2008
Springer
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
EMSOFT
2005
Springer
15 years 6 months ago
2005
Springer
— Typical embedded hardware/software systems are implemented using a combination of C and an HDL such as Verilog. While each is well-behaved in isolation, combining the two gives...
111
Voted
ACIIDS
2009
IEEE
15 years 6 months ago
2009
IEEE
— In this paper I show how ontologies support the student modelling through the semantic definition of concepts that depict a student. The aim is to outline the framework for bui...
116
click to vote
ECMDAFA
2007
Springer
15 years 7 months ago
2007
Springer
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...