940 search results - page 176 / 188 » Local rely-guarantee reasoning |
125
Voted
SENSYS
2003
ACM
15 years 10 months ago
2003
ACM
Sensor networks often involve the monitoring of mobile phenomena. We believe this task can be facilitated by a spatiotemporal multicast protocol which we call “mobicast”. Mobi...
140
click to vote
ICCS
2003
Springer
15 years 10 months ago
2003
Springer
The paper presents a theory for modeling flow in anisotropic, viscous rock. This theory has originally been developed for the simulation of large deformation processes including t...
166
Voted
ICWE
2003
Springer
15 years 10 months ago
2003
Springer
This work presents a research on the methods and mechanisms necessary to bring the Information and Communication Technologies in the traditional classroom. This will be achieved by...
138
click to vote
CLUSTER
2002
IEEE
15 years 10 months ago
2002
IEEE
A practical problem faced by users of metacomputers and computational grids is: If my computation can move from one system to another, how can I ensure that my data will still be ...
139
click to vote
GLVLSI
2002
IEEE
15 years 10 months ago
2002
IEEE
Design simplification is becoming necessary to respect the target time-to-market of SoCs, and this goal can be obtained by using predesigned IP-cores. However, their correct inte...