3879 search results - page 635 / 776 » PyPBS design and methodologies |
173
click to vote
PLDI
2006
ACM
16 years 1 hour ago
2006
ACM
Adding a sound information flow security policy to an existing program is a difficult task that requires major analysis of and changes to the program. In this paper we show how ...
175
click to vote
SAC
2006
ACM
16 years 1 hour ago
2006
ACM
In a recent work, we have shown that it is not possible to dependably build any type of distributed f fault or intrusiontolerant system under the asynchronous model. This result f...
175
Voted
EEE
2005
IEEE
15 years 11 months ago
2005
IEEE
UN/CEFACT’s Modelling Methodology (UMM) is used to analyze and design B2B business processes. We extend UMM by a constraint mechanism for adding business environment-specific co...
166
click to vote
PLDI
2005
ACM
15 years 11 months ago
2005
ACM
This paper introduces the concept of programming with sketches, an approach for the rapid development of high-performance applications. This approach allows a programmer to write ...
168
click to vote
VRST
2005
ACM
15 years 11 months ago
2005
ACM
In this paper, we introduce an interdisciplinary project, involving researchers from the fields of Physical Therapy, Computer Science, Psychology, Communication and Cell Neurobiol...