5639 search results - page 186 / 1128 » Timed Abstract Non-interference |
104
click to vote
FODO
1993
Springer
15 years 6 months ago
1993
Springer
Abstract–Multimedia computing requires support for heterogeneous data types with differing storage, communication and delivery requirements. Continuous media data types such as ...
106
click to vote
CMMR
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Former studies show that removing brightness temporal variations of tones in an expressive clarinet performance induces a decrease in the appreciation judgments among lis...
122
click to vote
FORMATS
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Introducing a monitor on a system typically changes the system's behaviour by slowing the system down and increasing memory consumption. This may possibly result in ...
112
click to vote
HYBRID
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. In this paper we propose a trajectory based reachability analysis by using local finite-time invariance property. Trajectory based analysis are based on the execution tra...
160
click to vote
CBSE
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. The use of software component models has become popular during the last decade, in particular in the development of software for desktop applications and distributed info...