7209 search results - page 1198 / 1442 » Software Engineering for Multi-Agent Systems |
125
click to vote
IUI
2010
ACM
15 years 7 months ago
2010
ACM
Computer-based geometry systems have been widely used for teaching and learning, but largely based on mouse-andkeyboard interaction, these systems usually require users to draw fi...
113
Voted
CODES
2007
IEEE
15 years 6 months ago
2007
IEEE
Heterogeneous multiprocessors are emerging as the dominant implementation approach to embedded multiprocessor systems. In addition to having processing elements suited to the targ...
115
click to vote
PPDP
2007
Springer
15 years 6 months ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
109
Voted
AUIC
2005
IEEE
15 years 6 months ago
2005
IEEE
The augmented desk is gaining popularity in recent HCI research. Its layout of a large horizontal screen on the desk enhances immersive and intense collaborative experiences. A re...
97
Voted
CISIS
2010
IEEE
15 years 5 months ago
2010
IEEE
—The SERSCIS project aims to support the use of interconnected systems of services in Critical Infrastructure (CI) applications. The problem of system interconnectedness is aptly...