12333 search results - page 2240 / 2467 » System Level Modelling for Hardware Software Systems |
210
click to vote
HICSS
2007
IEEE
16 years 1 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...
186
Voted
FOSSACS
2005
Springer
16 years 17 days 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 ...
141
Voted
SAMOS
2004
Springer
16 years 11 days 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...
200
Voted
ECAL
2003
Springer
16 years 7 days 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 ...
167
Voted
DEXAW
2004
IEEE
15 years 10 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 ...