3387 search results - page 160 / 678 » Automating the Metamodeling Process |
166
click to vote
ASP
2005
Springer
15 years 10 months ago
2005
Springer
In previous work, action languages have predominantly been concerned with domains in which values are static unless changed by an action. Real domains, however, often contain value...
161
click to vote
SCP
2011
14 years 12 months ago
2011
The coordination modelling language Paradigm addresses collaboration between components in terms of dynamic constraints. Within a Paradigm model, component dynamics are consistent...
113
click to vote
DAC
2002
ACM
16 years 5 months ago
2002
ACM
Textiles and computing share a synergistic relationship, which is being harnessed to create a new paradigm in personalized mobile information processing (PMIP). In this paper, we ...
164
click to vote
LICS
2006
IEEE
15 years 11 months ago
2006
IEEE
d Abstract) Marcelo Fiore∗ and Sam Staton† Computer Laboratory, University of Cambridge We introduce a mathematical structural operational semantics that yields a congruence r...
236
click to vote
ICCSA
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The design and management of firewall ACLs is a very hard and error-prone task. Part of this complexity comes from the fact that each firewall platform has its own low-le...