16606 search results - page 3218 / 3322 » Context Modeling: Task Model and Practice Model |
152
Voted
FATES
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Writing specifications using Java Modeling Language has been accepted for a long time as a practical approach to increasing the correctness and quality of Java programs. ...
149
Voted
FCT
2003
Springer
15 years 8 months ago
2003
Springer
The bandwidth minimization problem has a long history and a number of practical applications. In this paper we introduce a natural extension of bandwidth to partially ordered layo...
133
Voted
FSTTCS
2003
Springer
15 years 8 months ago
2003
Springer
Tagging schemes have been used in security protocols to ensure that the analysis of such protocols can work with messages of bounded length. When the set of nonces is bounded, this...
126
Voted
ICALP
2003
Springer
15 years 8 months ago
2003
Springer
We study algorithmic problems that are motivated by bandwidth trading in next generation networks. Typically, bandwidth trading involves sellers (e.g., network operators) interest...
167
Voted
PASTE
2010
ACM
15 years 8 months ago
2010
ACM
Multicore is now the dominant processor trend, and the number of cores is rapidly increasing. The paradigm shift to multicore forces the redesign of the software stack, which incl...