Sciweavers

2694 search results - page 239 / 539
» A Description Logic of Change
Sort
View
ISSA
2008
15 years 8 months ago
Application of Message Digests for the Verification of Logical Forensic Data
A message digest is a fixed length output produced by applying a cryptographic algorithm on input binary data of arbitrary length. If the input data changes even by one bit, the g...
Pontjho Mokhonoana, Martin S. Olivier
DATE
2009
IEEE
140views Hardware» more  DATE 2009»
16 years 1 months ago
Imperfection-immune VLSI logic circuits using Carbon Nanotube Field Effect Transistors
Carbon Nanotube Field-Effect Transistors (CNFETs) show big promise as extensions to silicon-CMOS because: 1) Ideal CNFETs can provide significant energy and performance benefits o...
Subhasish Mitra, Jie Zhang, Nishant Patil, Hai Wei
CORR
2008
Springer
154views Education» more  CORR 2008»
15 years 6 months ago
Fuzzy Logic Control Based QoS Management in Wireless Sensor/Actuator Networks
: Wireless sensor/actuator networks (WSANs) are emerging rapidly as a new generation of sensor networks. Despite intensive research in wireless sensor networks (WSNs), limited work...
Feng Xia, Wenhong Zhao, Youxian Sun, Yu-Chu Tian
CL
2012
Springer
13 years 9 months ago
Maintaining distributed logic programs incrementally
Distributed logic programming languages, that allow both facts and programs to be distributed among different nodes in a network, have been recently proposed and used to declarati...
Vivek Nigam, Limin Jia, Boon Thau Loo, Andre Scedr...
WICSA
2004
15 years 8 months ago
Software Reconfiguration Patterns for Dynamic Evolution of Software Architectures
A software reconfiguration pattern is a solution to a problem in component-based software systems where the configuration needs to be updated while the system is operational. It d...
Hassan Gomaa, Mohamed Hussein