5639 search results - page 308 / 1128 » Timed Abstract Non-interference |
151
click to vote
JOT
2010
15 years 2 months ago
2010
Abstract Periodic refactoring of a large source code often becomes a necessity especially for long-lived projects. In order to increase maintainability and extensibility of such pr...
140
click to vote
CVPR
2006
IEEE
16 years 5 months ago
2006
IEEE
The power of video over still images is the ability to represent dynamic activities. But video browsing and retrieval are inconvenient due to inherent spatio-temporal redundancies...
129
Voted
DASFAA
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract. Moving object environments are characterized by large numbers of objects continuously sending location updates. At times, data arrival rates may spike up, causing the loa...
126
Voted
LCN
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract—Distributed interactive applications have become increasingly popular, making it important to address their communication needs, where one of the needs is group communic...
111
click to vote
KI
2007
Springer
15 years 10 months ago
2007
Springer
Readylog is a logic-based agent programming language and combines many important features from other Golog dialects. One of the features of Readylog is to make use of decision-theo...