1501 search results - page 299 / 301 » Towards Integration of Modeling Methods for Cyber-Physical S... |
185
click to vote
POPL
2005
ACM
15 years 11 months ago
2005
ACM
Spatial logics have been used to describe properties of treelike structures (Ambient Logic) and in a Hoare style to reason about dynamic updates of heap-like structures (Separatio...
103
click to vote
PODC
2003
ACM
15 years 4 months ago
2003
ACM
Applications such as e-commerce payment protocols, electronic contract signing, and certified e-mail delivery require that fair exchange be assured. A fair-exchange protocol allo...
111
click to vote
CONCURRENCY
2000
14 years 11 months ago
2000
The 1990s are seeing the explosive growth of the Internet and Web-based information sharing and dissemination systems. The Internet is also showing a potential of forming of a sup...
101
click to vote
LCTRTS
2009
Springer
15 years 6 months ago
2009
Springer
The StreamIt programming model has been proposed to exploit parallelism in streaming applications on general purpose multicore architectures. The StreamIt graphs describe task, da...
SAC
2006
ACM
15 years 5 months ago
2006
ACM
Traditional Data Mining and Knowledge Discovery algorithms assume free access to data, either at a centralized location or in federated form. Increasingly, privacy and security co...