3799 search results - page 197 / 760 » An Engineering Approach to Formal Methods |
133
click to vote
FTRTFT
1998
Springer
15 years 8 months ago
1998
Springer
Visual description techniques are particularly important for the design of hybrid systems because specifications of such systems must usually be discussed between engineers from a ...
173
click to vote
ICTAI
2010
IEEE
15 years 2 months ago
2010
IEEE
A conversational recommender system iteratively shows a small set of options for its user to choose between. In order to select these options, the system may analyze the queries tr...
136
click to vote
WWW
2008
ACM
16 years 5 months ago
2008
ACM
Due to the rapid growth in the size of the web, web search engines are facing enormous performance challenges. The larger engines in particular have to be able to process tens of ...
145
click to vote
WSC
2008
15 years 6 months ago
2008
Many inference methods of queueing systems have been developed on the basis of Larson's QIE(queue inference engine) with the assumption of homogeneous Poisson arrivals. It in...
134
click to vote
SIGSOFT
2004
ACM
16 years 5 months ago
2004
ACM
Exploring alternative options is at the heart of the requirements and design processes. Different alternatives contribute to different degrees of achievement of non-functional goa...