3799 search results - page 193 / 760 » An Engineering Approach to Formal Methods |
148
click to vote
FMCO
2009
Springer
15 years 2 months ago
2009
Springer
This paper reviews the model of interactive Markov chains (IMCs, for short), an extension of labelled transition systems with exponentially delayed transitions. We show that IMCs a...
139
click to vote
APSEC
1998
IEEE
15 years 8 months ago
1998
IEEE
We present a calculus which can transfer specifications to objects for the development of real-time systems. The object model is based on a practical OO development technique--HRT...
184
click to vote
SIGIR
2012
ACM
13 years 6 months ago
2012
ACM
Combating Web spam is one of the greatest challenges for Web search engines. State-of-the-art anti-spam techniques focus mainly on detecting varieties of spam strategies, such as ...
142
click to vote
ICSE
2009
IEEE-ACM
15 years 9 months ago
2009
IEEE-ACM
Bidirectional model transformation plays an important role in maintaining consistency between two models, and has many potential applications in software development, including mo...
156
click to vote
HT
2009
ACM
15 years 2 months ago
2009
ACM
In this short note we present a recommendation system for automatic retrieval of broken Web links using an approach based on contextual information. We extract information from th...