234 search results - page 26 / 47 » Validation of requirement models by automatic prototyping |
DBSEC
2004
15 years 10 days ago
2004
Storage-area networks are a popular and efficient way of building large storage systems both in an enterprise environment and for multi-domain storage service providers. In both en...
102
click to vote
EUROPKI
2007
Springer
15 years 5 months ago
2007
Springer
The central goal of Public Key Infrastructure (PKI) is to enable trust judgments between distributed users. Although certificates play a central role in making such judgments, a P...
161
click to vote
FDL
2004
IEEE
15 years 2 months ago
2004
IEEE
gn process of embedded systems moves currently towards higher levels of abstraction. As a consequence, a need arises for an early and realistic assessment of system level design d...
105
click to vote
DAWAK
2006
Springer
15 years 2 months ago
2006
Springer
More and more integration systems use ontologies to solve the problem of semantic heterogeneities between autonomous databases. To automate the integration process, a number of the...
PADS
2009
ACM
15 years 5 months ago
2009
ACM
Unexpected model behaviors need explanation, so valid behaviors can be separated from errors. Understanding unexpected behavior requires accumulation of insight into the behavior ...