726 search results - page 114 / 146 » Formal Requirements Engineering: Learning from the Students |
100
click to vote
SIGSOFT
2002
ACM
16 years 16 days ago
2002
ACM
We propose a unifying framework for model-based specification notations. Our framework captures the execution semantics that are common among model-based notations, and leaves the...
121
click to vote
ICRA
2008
IEEE
15 years 6 months ago
2008
IEEE
— Social robots face the fundamental challenge of detecting and adapting their behavior to the current social mood. For example, robots that assist teachers in early education mu...
122
click to vote
DIGITALCITIES
2003
Springer
15 years 5 months ago
2003
Springer
We have developed a digital city for Kyoto, the old capital and cultural center of Japan, as a social information infrastructure for urban everyday life including shopping, busines...
108
click to vote
CACM
2002
14 years 11 months ago
2002
Abstract. We have developed a digital city for Kyoto, the old capital and cultural center of Japan, as a social information infrastructure for urban everyday life including shoppin...
108
click to vote
ACL2
2006
ACM
15 years 5 months ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...