12333 search results - page 2240 / 2467 » System Level Modelling for Hardware Software Systems |
166
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents a graph transformation based approach to design pattern evolution. An evolution of a design pattern includes modifications of pattern elements, such as classes...
126
click to vote
FOSSACS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed, to study historybased access control. It allows for security policies with a possibly nested, local scope. We define a type ...
108
click to vote
SAMOS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper presents some interesting concepts of static dataflow machines that can be used by reconfigurable computing architectures. We introduce some data-driven reconf...
151
click to vote
ECAL
2003
Springer
15 years 9 months ago
2003
Springer
A formal language approach for the specification of ALife models is presented. “Relational Growth Grammars” incorporate rulebased, procedural and object-oriented concepts. By ...
119
click to vote
DEXAW
2004
IEEE
15 years 8 months ago
2004
IEEE
The Web is moving to a new generation in which machine-understandable processing is mandatory. In order to achieve this goal it is essential to define ontologies which enable the ...