501 search results - page 81 / 101 » Diagram Techniques for Confluence |
104
Voted
SAS
2007
Springer
15 years 8 months ago
2007
Springer
Denotational static analysis of Java bytecode has a nice and clean compositional definition and an efficient implementation with binary decision diagrams. But it models only the f...
101
click to vote
IEEEARES
2006
IEEE
15 years 8 months ago
2006
IEEE
There is an increasing demand for highly reliable systems in the safety conscious climate of today’s world. When a fault does occur there are two desirable outcomes. Firstly, de...
119
click to vote
SP
2006
IEEE
15 years 8 months ago
2006
IEEE
Security concerns are becoming increasingly critical in networked systems. Firewalls provide important defense for network security. However, misconfigurations in firewalls are ...
AOSD
2006
ACM
15 years 8 months ago
2006
ACM
When specifying pointcuts, i.e. join point selections, in AspectOriented Software Development, developers have in different situations different conceptual models in mind. Aspect-...
145
click to vote
SCESM
2006
ACM
15 years 7 months ago
2006
ACM
Model Driven Development and Use Case Driven Development methodologies have inspired the proposal of a variety of software engineering approaches that synthesize statebased models...