2435 search results - page 168 / 487 » GPSS - 40 years of development |
141
Voted
FM
2009
Springer
16 years 22 days ago
2009
Springer
We examine the the industrial application of formal methods using data gathered in a review of 62 projects taking place over the last 25 years. The review suggests that formal meth...
161
click to vote
ICCS
2009
Springer
16 years 22 days ago
2009
Springer
Semantic search attempts to go beyond the current state of the art in information access by addressing information needs on the semantic level, i.e. considering the meaning of user...
150
click to vote
ICIDS
2009
Springer
16 years 22 days ago
2009
Springer
Computer aided interactive narrative has received increasing attention in recent years. Automated directorial control that manages the development of the story in the face of user ...
191
click to vote
IH
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. A physically unclonable function (PUF) is a multiple-input, multipleoutput, large entropy physical system that is unreproducible due to its structural complexity. A publi...
181
Voted
WOWMOM
2009
ACM
16 years 20 days ago
2009
ACM
—In this paper, the problem of estimating the link quality in mesh networks has been considered. Such a process is a major task to develop an efficient network layer, since it a...