2607 search results - page 202 / 522 » On the Architecture of System Verification Environments |
193
click to vote
MIS
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. This paper introduces a Generic Language for Interface DEvelopment (GLIDE) that supports the rapid prototyping of Graphical User Interfaces for the Agents Channeling Cont...
162
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
In this demo, we present GENIUS, a tool that facilitates research in the area of bilateral multi-issue negotiation. It implements an open architecture allowing easy development an...
181
click to vote
VRCAI
2006
ACM
16 years 15 days ago
2006
ACM
We introduce a system that adds a foveal inset to large-scale projection displays. The effective resolution of the foveal inset projection is higher than the original display reso...
164
click to vote
WMI
2001
15 years 8 months ago
2001
The General Packet Radio Service extends the existing GSM mobile communications technology by providing packet switching and higher data rates in order to efficiently access IPbas...
181
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
We propose the first systematic, sensor-centric approach for quantitative design of sensor network appliances. We demonstrate its use by designing light appliance devices and the ...