Sciweavers

3321 search results - page 251 / 665
» The Future of Knowledge Representation
Sort
View
ICWE
2005
Springer
16 years 4 days ago
Evaluating Current Testing Processes of Web-Portal Applications
: Web-portal application development needs to be improved by comprehensive testing processes and practices. Building the initial knowledge by evaluating and improving the state of ...
Harpreet Bajwa, Wenliang Xiong, Frank Maurer
KES
2005
Springer
16 years 3 days ago
Natural Storage in Human Body
We propose using the human body for “storing” data used in devices for the imminent ubiquitous computing era. In the future, people will use information appliances as powerful ...
Shigaku Iwabuchi, Buntarou Shizuki, Kazuo Misue, J...
ASPDAC
2004
ACM
106views Hardware» more  ASPDAC 2004»
16 years 1 days ago
A novel memory size model for variable-mapping in system level design
— It is predicted that 70% of the chip area will be occupied by memories in future system-onchips. The minimization of on-chip memory hence becomes increasingly important for cos...
Lukai Cai, Haobo Yu, Daniel Gajski
KR
2004
Springer
15 years 12 months ago
A First-Order Theory of Communicating First-Order Formulas
This paper presents a theory of informative communications among agents that allows a speaker to communicate to a hearer truths about the state of the world; the occurrence of eve...
Ernest Davis
NMR
2004
Springer
15 years 12 months ago
Adding modal operators to the action language A
The action language A is a simple high-level language for describing transition systems. In this paper, we extend the action language A by allowing a unary modal operator in the u...
Aaron Hunter