2106 search results - page 291 / 422 » Specifying C concepts |
TCS
2002
13 years 8 months ago
2002
This paper explores the application of rewriting logic to the executable formal modeling of real-time and hybrid systems. We give general techniques by which such systems can be s...
EMSOFT
2010
Springer
13 years 7 months ago
2010
Springer
In the domain of desktop software, design patterns have had a profound impact; they are applied ubiquitously across a broad range of applications. Patterns serve both to promulgat...
DEBS
2011
ACM
13 years 14 days ago
2011
ACM
Many data-driven social and Web applications involve collaboration and coordination. The vision of declarative data-driven coordination (D3C), proposed in [9], is to support coord...
CHI
2003
ACM
2003
ACM
Hardware companions?: what online AIBO discussion forums reveal about the human-robotic relationship
14 years 9 months ago
In this study, we investigated people's relationships with AIBO, a robotic pet, through 6,438 spontaneous postings in online AIBO discussion forums. Results showed that AIBO ...
ECMDAFA
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Model-based development is supposed to improve the development efficiency by raising the abstraction level and generating applications instead of manually coding the appl...