597 search results - page 110 / 120 » Towards an MDA-Oriented Methodology |
119
click to vote
ICFP
2005
ACM
15 years 11 months ago
2005
ACM
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...
CHI
2010
ACM
15 years 6 months ago
2010
ACM
Programming has recently become more common among ordinary end users of computer systems. We believe that these end-user programmers are not just coders but also designers, in tha...
86
Voted
HRI
2010
ACM
15 years 6 months ago
2010
ACM
— This conceptual paper broaches possibilities and limits of establishing psychological intimacy in HRI. Keywords- human-robot interaction, interaction patterns, social and moral...
104
click to vote
LCTRTS
2010
Springer
15 years 6 months ago
2010
Springer
This paper extends the methodology of analytic real-time analysis of distributed embedded systems towards merging and extracting sub-streams based on event type information. For e...
103
click to vote
GECCO
2009
Springer
15 years 6 months ago
2009
Springer
Embodied cognition emphasizes that intelligent behavior results from the coupled dynamics between an agent’s body, brain and environment. In response to this, several projects h...