2024 search results - page 104 / 405 » The Meaning of Ordered SOS |
135
Voted
RE
2004
Springer
15 years 6 months ago
2004
Springer
Scenarios and goals are effective and popular techniques for requirements definition. Validation is essential in order to ensure that they represent what stakeholders actually wan...
FTDCS
2003
IEEE
15 years 6 months ago
2003
IEEE
Various schemes have been proposed to achieve strong authenticationof streamed data in a lossy network by means of “light” digital signatures. Such techniques perform a strong...
101
Voted
TLDI
2003
ACM
15 years 6 months ago
2003
ACM
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...
120
click to vote
ER
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. Conceptual models are formal descriptions of application domains that are used in early stages of system development to support requirements analysis. The Unified Modeli...
91
Voted
ICDCS
2000
IEEE
15 years 5 months ago
2000
IEEE
We consider a distributed server system and ask which policy should be used for assigning tasks to hosts. In our server, tasks are not preemptible. Also, the task's service d...