3388 search results - page 157 / 678 » Type-theoretic design patterns |
177
click to vote
MOBICOM
2006
ACM
16 years 2 days ago
2006
ACM
Characterizing mobility or contact patterns in a campus environment is of interest for a variety of reasons. Existing studies of these patterns can be classified into two basic a...
174
Voted
ICPP
2002
IEEE
15 years 11 months ago
2002
IEEE
The advantages of pattern-based programming have been well-documented in the sequential literature. However patterns have yet to make their way into mainstream parallel computing,...
163
Voted
TSE
2010
15 years 4 months ago
2010
—Process modeling allows for analysis and improvement of processes that coordinate multiple people and tools working together to carry out a task. Process modeling typically focu...
156
click to vote
HICSS
2007
IEEE
16 years 14 days ago
2007
IEEE
A key enabler of the recently adopted, assemblycentric development approach for distributed real-time software systems is QoS-enabled middleware, which provides reusable building ...
160
click to vote
OOPSLA
2007
Springer
16 years 8 days ago
2007
Springer
We present a new language feature, specified as an extension to Java. The feature is a form of dispatch which includes and subsumes multimethods (see for example [3]), but which ...