3765 search results - page 493 / 753 » Formal Methods for Systems Engineering Behavior Models |
169
click to vote
ACL
2006
15 years 8 months ago
2006
A query speller is crucial to search engine in improving web search relevance. This paper describes novel methods for use of distributional similarity estimated from query logs in...
167
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. We present Boom, a comprehensive analysis tool for Boolean programs. We focus in this paper on model-checking non-recursive concurrent programs. Boom implements a recent ...
168
click to vote
MDM
2007
Springer
16 years 24 days ago
2007
Springer
The engineering community has recently begun to adopt wireless sensing technologies for use in many sensing applications. These low-cost sensors provide an optimal setting for den...
159
click to vote
ER
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Definitions of the concepts derived from the goal concept (including functional and nonfunctional goal, hardgoal, and softgoal) used in requirements engineering are discu...
224
click to vote
IEEEARES
2006
IEEE
16 years 21 days ago
2006
IEEE
Most current anomaly Intrusion Detection Systems (IDSs) detect computer network behavior as normal or abnormal but cannot identify the type of attacks. Moreover, most current intr...