899 search results - page 142 / 180 » A Temporal Language for SystemC |
105
click to vote
SADFE
2008
IEEE
15 years 7 months ago
2008
IEEE
Secure logs are powerful tools for building systems that must resist forgery, prove temporal relationships, and stand up to forensic scrutiny. The proofs of order and integrity en...
108
click to vote
ICRA
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— Tightly-coupled multi-agent systems such as modular robots frequently exhibit properties of interest that span multiple modules. These properties cannot easily be detec...
139
click to vote
WISE
2006
Springer
15 years 7 months ago
2006
Springer
Service composition is becoming the dominant paradigm for developing Web service applications. It is important to ensure that a service composition complies with the requirements f...
MM
2005
ACM
15 years 7 months ago
2005
ACM
This demonstration presents an integrated web-based synchronized scenario for many-to-one cross-media correlations between speech (an EFL, English as Foreign Language, lecture wit...
114
click to vote
SACMAT
2005
ACM
15 years 7 months ago
2005
ACM
Integration of version and access control of XML documents has the benefit of regulating access to rapidly growing archives of XML documents. Versioned XML documents provide us w...