Sciweavers

3206 search results - page 167 / 642
» How minds can be computational systems
Sort
View
FLOPS
2004
Springer
15 years 12 months ago
DDT: a Declarative Debugging Tool for Functional-Logic Languages
We present a graphical tool for the declarative debugging of wrong answers in functional-logic languages. The tool, integrated in the system T OY, can be used to navigate a computa...
Rafael Caballero, Mario Rodríguez-Artalejo
ICWN
2004
15 years 8 months ago
Energy-Efficient Graphical User Interface Design
Mobile computers, such as cell phones and personal digital assistants (PDAs), have dramatically increased in sophistication. At the same time, the desire of consumers for portabili...
Keith S. Vallerio, Lin Zhong, Niraj K. Jha
CAISE
2004
Springer
15 years 12 months ago
Secure Databases: An Analysis of Clark-Wilson Model in a Database Environment
Abstract. Information systems are vulnerable to accidental or malicious attacks. Security models for commercial computer systems exist, but information systems security is often ig...
Xiaocheng Ge, Fiona Polack, Régine Laleau
ICARIS
2004
Springer
15 years 12 months ago
A Fractal Immune Network
Proteins are the driving force in development (embryogenesis) and the immune system. Here we describe how a model of proteins designed for evolutionary development in computers can...
Peter J. Bentley, Jon Timmis
PERCOM
2008
ACM
16 years 6 months ago
Context-aware Battery Management for Mobile Phones
In this paper, we propose a system for contextaware battery management that warns the user when it detects that the phone battery can run out before the next charging opportunity ...
Nishkam Ravi, James Scott, Lu Han, Liviu Iftode