2836 search results - page 436 / 568 » Model Checking for Software Architectures |
179
click to vote
INFOSCALE
2007
ACM
15 years 8 months ago
2007
ACM
— The concept of Cumulated Anomaly (CA), which describes a new type of database anomalies, is addressed. A typical CA intrusion is that when a user who is authorized to modify da...
157
click to vote
DAGSTUHL
2006
15 years 7 months ago
2006
Abstract. In the context of an approach for reengineering legacy software systems at the architectural level, we present in this paper a reverse engineering methodology that uses a...
172
click to vote
JWSR
2006
15 years 6 months ago
2006
The Semantic Web promises automated invocation, discovery, and composition of Web services by enhancing services with semantic descriptions. An upper ontology for Web services cal...
152
click to vote
HICSS
2008
IEEE
16 years 24 days ago
2008
IEEE
The Service-Oriented Architecture (SOA) paradigm promises to enable software vendors to compose software systems using services purchased from various suppliers. In this paper, we...
169
click to vote
EMSOFT
2010
Springer
15 years 4 months ago
2010
Springer
SystemC is the de facto standard for modeling embedded systems. It allows system design at various levels of abstractions, provides typical object-orientation features and incorpo...