5639 search results - page 294 / 1128 » Timed Abstract Non-interference |
116
click to vote
MIDDLEWARE
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Existing middleware is based on control-flow centric interaction models such as remote method invocations, poorly matching the structure of applications that process con...
128
Voted
APCSAC
2001
IEEE
15 years 7 months ago
2001
IEEE
A popular trend in current software technology is to gain program portability by compiling programs to an inte form based on an abstract machine definition. Such approaches date b...
128
Voted
SERVICES
2008
15 years 5 months ago
2008
In Service Oriented Architecture, each application is ofgned as a set of abstract services, which defines its functions. A concrete service(s) is selected at runtime for tract ser...
111
Voted
ENGL
2008
15 years 3 months ago
2008
With the advent of System-On-Chip (SOC) technology, there is a pressing need to enhance the quality of ools available and increase the level of abstraction at which hardware is des...
119
click to vote
JLP
2008
15 years 3 months ago
2008
models, used for specification, analysis and verification, usually describe sets of implementations by means of a refinement relation. In the branching time setting, implementatio...