1164 search results - page 68 / 233 » Using CBR for Semantic Analysis of Software Specifications |
104
click to vote
EMSOFT
2006
Springer
15 years 3 months ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...
135
click to vote
WER
2004
Springer
15 years 5 months ago
2004
Springer
Software systems of today are characterized by the increasing size, complexity, distribution and heterogeneity. Understanding and supporting the interaction between software requir...
135
click to vote
CIA
2003
Springer
15 years 5 months ago
2003
Springer
The so-called "Web of Trust" is one of the ultimate goals of the Semantic Web. Research on the topic of trust in this domain has focused largely on digital signatures, ce...
114
click to vote
COLING
2000
15 years 1 months ago
2000
Recent years have shown a surge in interest in temporal database systems, which allow users to store time-dependent intbrmation. We present a novel controlled natural language int...
WOSP
2004
ACM
2004
ACM
Early-stage performance modeling and its application for integrated embedded control software design
15 years 5 months ago
Most of current embedded control software (ECSW) development techniques deal only with performance specifications during the early software design phase and delay the modeling and...