1943 search results - page 145 / 389 » Software and higher education |
216
click to vote
ECWEB
2010
Springer
15 years 4 months ago
2010
Springer
Traditional negotiation, conducted face-to-face and via mail or telephone, is often difficult to manage, prone to misunderstanding, and time consuming. Automated negotiation promis...
159
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
This article describes requirements and challenges of crossplatform multi-touch software engineering, and presents the open source framework Multi-Touch for Java (MT4j) as a solut...
204
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Pervasive computing appears like a new computing era based on networks of objects and devices evolving in a real world, radically different from distributed computing, based on ne...
143
click to vote
DATE
2007
IEEE
16 years 25 days ago
2007
IEEE
- This paper introduces an innovative design which implements a high-performance JPEG-LS encoder. The encoding process follows the principles of the JPEG-LS lossless mode. The prop...
163
click to vote
FOSSACS
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Separation logic is a recent extension of Hoare logic for reasoning about programs with references to shared mutable data structures. In this paper, we provide a new inte...