2963 search results - page 222 / 593 » On the Integration of Web Modeling Languages |
207
click to vote
IJSEKE
2011
14 years 10 months ago
2011
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...
150
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
A key advantage for the use of a Domain-Specific Language (DSL) is the leverage that can be captured from a concise representation of a programmer’s intention. This paper report...
190
click to vote
IEEESCC
2005
IEEE
16 years 5 days ago
2005
IEEE
eal world”, represented abstractly using (time-varying) first-order logic predicates and terms. A representative composition result [11] here uses a translation into Petri nets. ...
190
click to vote
ICMCS
2005
IEEE
16 years 5 days ago
2005
IEEE
An integrated, reconfigurable, adaptable and open system for mining, indexing and retrieving multimedia information based on a mobile agent technology scheme is presented. The sys...
168
click to vote
DSOM
2005
Springer
16 years 3 days ago
2005
Springer
Current network management architectures are using different models to define management information objects. These definitions actually also include, in a non-formal way, the defi...