2513 search results - page 348 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
137
click to vote
SPIN
2007
Springer
16 years 4 days ago
2007
Springer
Boolean programs are frequently used to model abstractions of software programs. They have the advantage that reachability properties are decidable, despite the fact that their sta...
160
click to vote
ARCS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper addresses the implementation of pervasive Java Web applications using a development approach that is based on the Model-ViewController (MVC) design pattern. We...
250
click to vote
ANCS
2011
ACM
14 years 6 months ago
2011
ACM
Network virtualization has emerged as a powerful technique to deploy novel services and experimental protocols over shared network infrastructures. Although recent research has hi...
183
click to vote
CODES
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper, we present the analysis, design and implementation of an estimator to realize large bit width unsigned integer multiplier units. Larger multiplier units are require...
149
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: In the yeast Saccharomyces cerevisiae, interactions between galactose, Gal3p, Gal80p, and Gal4p determine the transcriptional status of the genes required for the gala...