2513 search results - page 169 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
SAFECOMP
2005
Springer
15 years 3 months ago
2005
Springer
In the telecommunications sector product development must minimise time to market while delivering high levels of dependability, availability, maintainability and scalability. High...
ICSE
2007
IEEE-ACM
15 years 10 months ago
2007
IEEE-ACM
This paper presents Kato, a tool that implements a novel class of optimizations that are inspired by program slicing for imperative languages but are applicable to analyzable decl...
ISPDC
2005
IEEE
15 years 3 months ago
2005
IEEE
Multiplication of mobile devices and generalized use of wireless networks imply changes on the design and execution of distributed software applications targeting ubiquitous compu...
VLSID
2008
IEEE
15 years 10 months ago
2008
IEEE
With increasing adoption of Electronic System Level (ESL) tools, effective design and validation time has reduced to a considerable extent. Cosimulation is found to be a principal...
59
Voted
HICSS
2006
IEEE
15 years 4 months ago
2006
IEEE
Managerial decisions regarding software functionality additions at Internet portals are interesting to senior managers involved in e-commerce. Portals can leverage software functi...