10707 search results - page 441 / 2142 » Designing executable abstractions |
167
click to vote
ASAP
2010
IEEE
15 years 7 months ago
2010
IEEE
Recent research has proposed security-critical real-time embedded systems with provably-strong information containment through the use of hardware-enforced execution leases. Execut...
201
click to vote
BDA
2004
15 years 7 months ago
2004
XQuery is the emerging standard for querying XML data sources. XLive is a light XML/XQuery mediator developed at University of Versailles whose engine processes an XML algebra der...
193
click to vote
DAGSTUHL
1994
15 years 7 months ago
1994
The main advantage of distributed controlled robots and subsystems is the decentralized task execution by the system components. This way, properties for the design of flexible co...
172
click to vote
EUROPAR
2010
Springer
15 years 7 months ago
2010
Springer
In the age of Grid, Cloud, volunteer computing, massively parallel applications are deployed over tens or hundreds of thousands of resources over short periods of times to complete...
171
click to vote
CONCURRENCY
2007
15 years 6 months ago
2007
: Good water management is literally vital for the arid and semi-arid regions of the planet. Yet good water management requires multidisciplinary expertise, since one must consider...