12981 search results - page 2167 / 2597 » Model Checking (Abstract) |
162
click to vote
POPL
1995
ACM
15 years 9 months ago
1995
ACM
d Abstract) We extend the model of [VRV94] to express strong time-outs (and pre-emption): if an event A does not happen through time t, cause event B to happen at time t. Such con...
178
click to vote
DATE
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract--This paper summarizes a special session on multicore/multi-processor system-on-chip (MPSoC) programming challenges. Wireless multimedia terminals are among the key driver...
188
click to vote
FLAIRS
2008
15 years 8 months ago
2008
Storyboards are commonly known as rows of pictures, which exemplarily sketch scenes in performing arts. The rows specify the sequence of scenes. The scenes themselves are illustra...
171
click to vote
ASIACRYPT
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In secure computation among a set P of players one considers an adversary who can corrupt certain players. The three usually considered types of corruption are active, pa...
157
click to vote
BNCOD
2007
15 years 7 months ago
2007
Abstract. Information Extraction, the process of eliciting data from natural language documents, usually relies on the ability to parse the document and then to detect the meaning ...