2797 search results - page 333 / 560 » Control Structures |
161
click to vote
CICLING
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. Bridging the gap between the specification of software requirements and actual execution of the behavior of the specified system has been the target of much research in r...
110
click to vote
CHI
2003
ACM
16 years 4 months ago
2003
ACM
The development of a low bandwidth, high error tolerant neural browser, called the BrainBrowser, has raised new navigational issues. With this paradigm shift of twodimensional spa...
136
click to vote
TACAS
2009
Springer
15 years 11 months ago
2009
Springer
CEDAR (Counter Example Driven Antichain Refinement) is a new symbolic algorithm for computing weakest strategies for safety games of imperfect information. The algorithm computes ...
132
click to vote
CIDM
2009
IEEE
15 years 11 months ago
2009
IEEE
—Protecting and securing sensitive information are critical challenges for businesses. Deliberate and intended actions such as malicious exploitation, theft or destruction of dat...
158
click to vote
SASO
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—Unstructured peer-to-peer networks can be extremely flexible, but, because of size, complexity, and high variability in peers’ capacity and reliability, it is a conti...