796 search results - page 96 / 160 » An Overview of Separation Logic |
117
click to vote
DFG
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Today's manufacturing industry demands flexible and decentralized production control systems to avoid hours of down time of the production line in case of a failure ...
103
Voted
OOPSLA
2004
Springer
15 years 6 months ago
2004
Springer
This demonstration will feature overviews of the C-SAW and GenAWeave projects. The first half of the presentation will introduce the concept of two-level aspect weaving, which uni...
102
Voted
IICS
2003
Springer
15 years 6 months ago
2003
Springer
Today’s global markets demand global processes. Increasingly, these processes are not only distributed, but also contain mobile aspects. We discuss two challenges brought about b...
92
Voted
AINA
2010
IEEE
15 years 5 months ago
2010
IEEE
—In order for Semantic Web applications to be successful a key component should be their ability to take advantage of rich content descriptions in meaningful ways. Reasoning cons...
136
click to vote
EH
2000
IEEE
15 years 5 months ago
2000
IEEE
Evolvable Hardware (EHW) refers to HW design and selfreconfiguration using evolutionary/genetic mechanisms. The paper presents an overview of some key concepts of EHW, describing ...