5639 search results - page 1004 / 1128 » Timed Abstract Non-interference |
135
click to vote
APWEB
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. The term Deep Web (sometimes also called Hidden Web) refers to the data content that is created dynamically as the result of a specific search on the Web. In this respec...
109
click to vote
ICS
2010
Tsinghua U.
15 years 6 months ago
2010
Tsinghua U.
The emergence of multicore processors has increased the need for simple parallel programming models usable by nonexperts. The ability to specify subparts of a bigger data structur...
115
click to vote
CICLING
2001
Springer
15 years 6 months ago
2001
Springer
In logic, the spatio-temporal location of a proposition is characterized precisely within a Cartesian system of space and time coordinates. This is suitable for characterizing the ...
134
click to vote
EMSOFT
2001
Springer
15 years 6 months ago
2001
Springer
Abstract This paper is sort of a confession. Issues of synchrony, asynchrony, and synchronization, arise frequently in designing embedded systems from components, like everyone I k...
148
click to vote
EVOW
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. We describe a set of preliminary experiments to evolve spiking neural controllers for a vision-based mobile robot. All the evolutionary experiments are carried out on phy...