1001 search results - page 167 / 201 » Generating Application-Specific Benchmark Models for Complex... |
ATAL
2009
Springer
14 years 2 months ago
2009
Springer
Decentralised coordination in multi-agent systems is typically achieved using communication. However, in many cases, communication is expensive to utilise because there is limited...
EMS
2009
IEEE
14 years 3 months ago
2009
IEEE
—In the future smart city, new information and communication technologies will enable a better management of the available resources. The future smart grid infrastructure is emer...
HASKELL
2005
ACM
14 years 1 months ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
WSC
2004
13 years 9 months ago
2004
Stream Option Manager (SOM) is a set of mathematical tools developed at The MITRE Corporation's Center for Advanced Aviation System Development (CAASD). While still under dev...
SCANGIS
2003
13 years 9 months ago
2003
The management and the processing of Earth science data has been gaining importance over the last decade due to higher data volumes generated by a larger number of instruments and ...