4418 search results - page 246 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
171
click to vote
SAS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The field of program analysis has focused primarily on sequential programming languages. But multithreading is becoming increasingly important, both as a program structu...
144
click to vote
IEEESCC
2008
IEEE
16 years 29 days ago
2008
IEEE
In service-based systems, one of the most basic requirements for service matching is to find services with functionalities similar to the expected functionality of a given servic...
159
click to vote
BC
2007
15 years 6 months ago
2007
Many perceptual and cognitive processes, like decision-making and bistable perception, involve multistable phenomena under the influence of noise. The role of noise in a multistab...
219
click to vote
PVLDB
2008
15 years 5 months ago
2008
Keyword search in XML repositories is a powerful tool for interactive data exploration. Much work has recently been done on making XML search aware of relationship information emb...
164
click to vote
WWW
2001
ACM
16 years 7 months ago
2001
ACM
First generation Web-content encodes information in handwritten (HTML) Web pages. Second generation Web content generates HTML pages on demand, e.g. by filling in templates with c...