3792 search results - page 456 / 759 » Techniques for Trusted Software Engineering |
172
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Available methodologies for developing Sematic Web applications do not fully exploit the whole potential deriving from interaction with ontological data sources. Here we introduce...
240
click to vote
VMCAI
2010
Springer
16 years 4 months ago
2010
Springer
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...
168
click to vote
SLE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. API migration refers to adapting an application such that its dependence on a given API (the source API) is eliminated in favor of depending on an alternative API (the ta...
205
click to vote
CSMR
2007
IEEE
16 years 1 months ago
2007
IEEE
A dynamic object process graph is a view on the control flow graph from the perspective of a single object. It has been shown that such a graph can be a useful starting point for...
171
click to vote
WCRE
2006
IEEE
16 years 23 days ago
2006
IEEE
Jointly deployed aspects may interact with each other. While some interactions might be intended, unintended interactions (interferences) can break a program. Detecting and resolv...