5639 search results - page 521 / 1128 » Timed Abstract Non-interference |
171
Voted
DDECS
2006
IEEE
16 years 6 days ago
2006
IEEE
Abstract: Bisimulations in general are a powerful concept to minimize large finite state systems regarding some well-defined observational behavior. In contrast to strong bisimul...
141
Voted
ETFA
2006
IEEE
16 years 6 days ago
2006
IEEE
Abstract— This work deals with the control and the observation of a remote system using Internet as a communication line. The process consists in a Slave part S, with poor comput...
158
Voted
ETFA
2006
IEEE
16 years 6 days ago
2006
IEEE
Wireless Sensor and Actor Networks (WSANs) constitute an emerging and pervasive technology that is attracting increased interest for a wide range of applications. WSANs have two m...
179
click to vote
ICARCV
2006
IEEE
16 years 6 days ago
2006
IEEE
: Relevance feedback in Content Based Image Retrieval(CBIR) has been an active field of research for quite some time now. Many schemes and techniques of relevance feedback exist w...
148
click to vote
ICAS
2006
IEEE
16 years 6 days ago
2006
IEEE
— The development of applications that target dynamic networks often adresses the same difficulties. Since the underlying network topology is unstable, the application has to ha...