6253 search results - page 1049 / 1251 » Use Case Modeling Guidelines |
157
click to vote
CASES
2003
ACM
15 years 11 months ago
2003
ACM
The development of energy-conscious embedded and/or mobile systems exposes a trade-off between energy consumption and system performance. Recent microprocessors have incorporated ...
214
click to vote
CSFW
2002
IEEE
15 years 11 months ago
2002
IEEE
We carry forward the work described in our previous papers [3, 14, 12] on the application of data independence to the model checking of cryptographic protocols using CSP [13] and ...
176
click to vote
SIGECOM
2010
ACM
15 years 11 months ago
2010
ACM
This paper studies —from the perspective of efficient computation— a type of competition that is widespread throughout the plant and animal kingdoms, higher education, politic...
172
click to vote
CC
2009
Springer
15 years 11 months ago
2009
Springer
Single-assignment languages with copy semantics have a very simple and approachable programming model. A na¨ıve implementation of the copy semantics that copies the result of eve...
151
click to vote
IPPS
1996
IEEE
15 years 10 months ago
1996
IEEE
In this paper, we study on the EREW-PRAM model a parallel solution to the extended set union problem with unlimited backtracking which maintains a dynamic partition of an n-elemen...