8828 search results - page 1670 / 1766 » Formal methods in practice |
122
Voted
SIGMETRICS
1997
ACM
15 years 7 months ago
1997
ACM
One of the open questions in the design of multimedia storage servers is in what order to serve incoming requests. Given the capability provided by the disk layout and scheduling ...
138
Voted
SIGLEX
1991
15 years 7 months ago
1991
Explaining how the meaning of words relate to the meaning of the utterance in which they are used is of utmost importance. The most common approaches view the meaning of an uttera...
151
click to vote
HT
1987
ACM
15 years 7 months ago
1987
ACM
Hypertext is a technology well-suited to exploring different kinds of representational problems. It can be used first as an informal mechanism to describe the attributes of object...
153
Voted
FLAIRS
2007
15 years 6 months ago
2007
The linguistic theory of Applicative and Cognitive Grammar analyses the language in three levels as follows: the linguistic level, the predicative level, and the semanticocognitiv...
128
click to vote
APN
2008
Springer
15 years 5 months ago
2008
Springer
Shared decision diagram representations of a state-space have been shown to provide efficient solutions for model-checking of large systems. However, decision diagram manipulation ...