2513 search results - page 114 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
CBSE
2008
Springer
14 years 12 months ago
2008
Springer
Abstract. Workflow systems provide support for combining components to achieve a particular outcome. Various approaches from software engineering have been utilized within such sys...
RE
2008
Springer
14 years 9 months ago
2008
Springer
NASA spends millions designing and building spacecraft for its missions. The dependence on software is growing as spacecraft become more complex. With the increasing dependence on...
177
click to vote
POPL
2008
ACM
15 years 10 months ago
2008
ACM
In language-based security, confidentiality and integrity policies conveniently specify the permitted flows of information between different parts of a program with diverse levels...
BIBM
2007
IEEE
15 years 4 months ago
2007
IEEE
In this paper, we present an algorithm to simultaneously align three biological sequences with affine gap model and infer their common ancestral sequence. Our algorithm can be fu...
ICEBE
2006
IEEE
15 years 4 months ago
2006
IEEE
The alignment of business processes and their supporting application software is a major concern during the initial software design phases. This paper proposes a design approach a...