2513 search results - page 380 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
RTCSA
2008
IEEE
15 years 4 months ago
2008
IEEE
A component framework plays an important role in CBSD as it determines how software components are developed, packaged, assembled and deployed. A desirable component framework for...
81
Voted
LCPC
2007
Springer
15 years 4 months ago
2007
Springer
The use of multiprocessor tasks (M-tasks) has been shown to be successful for mixed task and data parallel implementations of algorithms from scientific computing. The approach o...
ICDCS
2005
IEEE
15 years 3 months ago
2005
IEEE
We present middleware for a Server Development Environment that facilitates live development of SOAP and CORBA servers. As the underlying implementation platform, we use JPie, a t...
WCRE
2003
IEEE
15 years 3 months ago
2003
IEEE
In reverse engineering, parsing may be partially done to extract lightweight source models. Parsing code containing preprocessing directives, syntactical errors and embedded langu...
ICSE
2008
IEEE-ACM
15 years 11 months ago
2008
IEEE-ACM
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...