3879 search results - page 635 / 776 » PyPBS design and methodologies |
177
click to vote
PLDI
2006
ACM
16 years 11 days 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 ...
184
click to vote
SAC
2006
ACM
16 years 10 days 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...
183
click to vote
EEE
2005
IEEE
16 years 18 hour 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...
175
click to vote
PLDI
2005
ACM
15 years 12 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 ...
175
click to vote
VRST
2005
ACM
15 years 12 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...