36320 search results - page 7115 / 7264 » From Code to Models |
180
Voted
SIGUCCS
2003
ACM
16 years 20 days ago
2003
ACM
Students are a wonderful resource for any department of a college or university, especially an ITS department. They are inexpensive and abundant. They want to work at strange time...
194
Voted
SPAA
2003
ACM
16 years 20 days ago
2003
ACM
In this paper we consider the following scenario. A set of n jobs with different threads is being run concurrently. Each job has an associated weight, which gives the proportion ...
220
Voted
WSNA
2003
ACM
16 years 20 days ago
2003
ACM
Sensor networks have become an important source of data with numerous applications in monitoring various real-life phenomena as well as industrial applications and traffic contro...
235
click to vote
AGTIVE
2003
Springer
16 years 19 days ago
2003
Springer
Graph-reduction specifications (GRSs) are a powerful new method for specifying classes of pointer data structures (shapes). They cover important shapes, like various forms of bal...
210
Voted
ASM
2003
ASM
16 years 19 days ago
2003
ASM
r in: Abstract State Machines 2003 — Advances in Theory and Applications, Proc. 10th International Workshop, Taormina, Italy, March 3-7, 2003, eds. Egon Boerger, Angelo Gargantin...