8179 search results - page 1372 / 1636 » The PRACTIONIST Development Tool |
211
click to vote
RTCSA
2003
IEEE
15 years 12 months ago
2003
IEEE
Despite Java’s initial promise of providing a reliable and cost-effective platform-independent environment, the language appears to be unfavourable in the area of high-integrity...
177
click to vote
TPHOL
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper addresses the crucial issue in the design of a proof development system of how to deal with partial functions and the related question of how to treat undefined terms. ...
189
click to vote
DAC
2003
ACM
15 years 12 months ago
2003
ACM
Fourth-generation wireless communication systems (4G) will have totally different requirements than what front-end designers have been coping with up to now. Designs must be targe...
188
click to vote
GROUP
2003
ACM
15 years 12 months ago
2003
ACM
Group awareness is an important part of synchronous collaboration, and support for group awareness can greatly improve groupware usability. However, it is still difficult to build...
167
click to vote
IUI
2003
ACM
15 years 12 months ago
2003
ACM
Computational humor will be needed in interfaces, no less than other cognitive capabilities. There are many practical settings where computational humor will add value. Among them...