832 search results - page 144 / 167 » Declarative Specification of Software Architectures |
118
click to vote
DAC
2007
ACM
16 years 3 months ago
2007
ACM
Interrupt behaviors, especially the external ones, are difficult to verify in a microprocessor design project in that they involve both interacting hardware and software. This pap...
112
click to vote
ICALT
2005
IEEE
15 years 7 months ago
2005
IEEE
In this paper we present an architecture dedicated to an intelligently assisted educational tool which integrates within a unified framework software rational agents both at the m...
120
click to vote
ASPLOS
2004
ACM
15 years 7 months ago
2004
ACM
We present a novel processor architecture designed specifically for use in low-power wireless sensor-network nodes. Our sensor network asynchronous processor (SNAP/LE) is based on...
101
click to vote
HICSS
2003
IEEE
15 years 7 months ago
2003
IEEE
A standard notation, that unambiguously expresses different aspects of a system, is important to the process of software development. The expressiveness of a standard notation hel...
142
click to vote
AI50
2006
15 years 5 months ago
2006
Abstract. This paper describes a multi-disciplinary initiative to promote collaborative research in enactive artificial cognitive systems by developing the iCub : a open-systems 53...