1524 search results - page 291 / 305 » Operational Semantics of Hybrid Systems |
OOPSLA
2009
Springer
15 years 4 months ago
2009
Springer
The high degree of complexity and autonomy of future robotic space missions, such as Mars Science Laboratory (MSL), poses serious challenges in assuring their reliability and efļ¬...
OTM
2009
Springer
15 years 4 months ago
2009
Springer
Provenance, from the French word āprovenirā, describes the lineage or history of a data entity. Provenance is critical information in scientific applications to verify experime...
ECOOP
2005
Springer
15 years 3 months ago
2005
Springer
Two object-oriented programming language paradigmsā dynamic, prototype-based languages and multi-method languagesā provide orthogonal beneļ¬ts to software engineers. These two...
SIGMOD
2000
ACM
15 years 2 months ago
2000
ACM
The DataLinks technology developed at IBM Almaden Research Center and now available in DB2 UDB 5.2 introduces a new data type called DATALINK for a database to reference and manag...
AMAI
2006
Springer
14 years 9 months ago
2006
Springer
Most real-world database applications manage temporal data, i.e., data with associated time references that capture a temporal aspect of the data, typically either when the data i...