2373 search results - page 226 / 475 » The Design of the Zinc Modelling Language |
174
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Patterns are useful knowledge about recurring problems and solutions. Detecting a security problem using patterns in requirements models may lead to its early solution. In order t...
183
click to vote
TOG
2008
15 years 6 months 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...
154
click to vote
ICRA
2005
IEEE
16 years 5 days ago
2005
IEEE
– Effective communication between a person and a robot may depend on whether there exists a common ground of understanding between the two. In two experiments modelled after huma...
160
click to vote
EMSOFT
2005
Springer
16 years 3 days 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...
173
click to vote
ECMDAFA
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper we report on our experience on using the socalled model-driven security approach in an MDA industrial project. In model-driven security, "designers spe...