2608 search results - page 201 / 522 » Subjects, Models, Languages, Transformations |
169
click to vote
CCS
2007
ACM
16 years 20 days ago
2007
ACM
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...
175
click to vote
GPCE
2007
Springer
16 years 19 days ago
2007
Springer
In this paper, we propose a domain-specific aspect language to prevent the denials of service caused by resource management. Our aspects specify availability policies by enforcin...
182
click to vote
IMC
2006
ACM
16 years 14 days ago
2006
ACM
A key step in the semantic analysis of network traffic is to parse the traffic stream according to the high-level protocols it contains. This process transforms raw bytes into s...
193
click to vote
UML
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. In Software Engineering many text-based languages and supporting tools are used, forming the grammarware technical space. Currently model driven engineering is the new em...
283
click to vote
SIGMOD
2009
ACM
16 years 6 months ago
2009
ACM
As business intelligence becomes increasingly essential for organizations and as it evolves from strategic to operational, the complexity of Extract-Transform-Load (ETL) processes...