2513 search results - page 248 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
166
click to vote
VLSID
2005
IEEE
16 years 6 months ago
2005
IEEE
This paper presents a highly efficient processor design methodology based on the LISA 2.0 language. Typically the architecture design phase is dominated by an iterative processor ...
238
click to vote
APN
2010
Springer
15 years 10 months ago
2010
Springer
AlPiNA is a symbolic model checker for High Level Petri nets. It is comprised of two independent modules: a GUI plugin for Eclipse and an underlying model checking engine. AlPiNAā...
168
click to vote
ISORC
2007
IEEE
16 years 23 days ago
2007
IEEE
This paper describes an extension to the componentbased programming model to support real-time dynamic guarantee for distributed applications. The extended model aims to include a...
151
click to vote
SLE
2009
Springer
16 years 1 months ago
2009
Springer
In consequence of changing requirements and technological progress, software languages are subject to change. The changes aļ¬ect the languageās speciļ¬cation, which in turn aļ¬...
172
click to vote
SRDS
1999
IEEE
15 years 10 months ago
1999
IEEE
Production of reliable and flexible distributed applications is a growing area of interest and research. Various middleware technologies are often used as the communication infras...