5352 search results - page 797 / 1071 » Modeling the socio-cultural context |
189
click to vote
SPIN
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Computational resources are increasing rapidly with the explosion of multi-core processors readily available from major vendors. Model checking needs to harness these res...
151
click to vote
ISPW
2005
IEEE
16 years 11 days ago
2005
IEEE
A process defines the way activities are organized, managed, measured, supported and improved to reach a goal. It has been shown, 15 years ago [1] that processes are software too; ...
145
click to vote
IWPC
2005
IEEE
16 years 11 days ago
2005
IEEE
Source code can be viewed in many ways, with each view facilitating access to different information contained within the code. In this working session, we will explore the role th...
189
click to vote
COCOON
2005
Springer
16 years 7 days ago
2005
Springer
We consider the problem of scheduling on-line a sequence of degradable intervals in a set of k identical machines. Our objective is to find a schedule that maximizes simultaneousl...
216
click to vote
MOBICOM
2004
ACM
16 years 6 days ago
2004
ACM
One key usage of VANET is to support vehicle safety applications. This use case is characterized by the prominence of broadcasts in scaled settings. In this context, we try to ans...