1774 search results - page 66 / 355 » Modeling and implementing software architecture with acme an... |
SAC
2008
ACM
14 years 9 months ago
2008
ACM
Due to the distributed nature of Service-Oriented Architectures (SOA), maintaining control in a SOA environment becomes more difficult as services spread over different lines-of-b...
SI3D
1995
ACM
15 years 1 months ago
1995
ACM
We describe an approach for determining potentially visible sets in dynamic architectural models. Our scheme divides the models into cells and portals, computing a conservative es...
SIGSOFT
2003
ACM
15 years 3 months ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...
CCS
2007
ACM
15 years 4 months ago
2007
ACM
The electronic voting machines known as Direct Recording Electronic (DRE), that are used in many states in the US have been shown to contain security vulnerabilities [16, 9, 3]. O...
ESWS
2008
Springer
14 years 11 months ago
2008
Springer
Ontology-Driven Software Development (ODSD) advocates using ontologies for capturing knowledge about a software system at development time. So far, ODSD approaches have mainly focu...