Sciweavers

12107 search results - page 409 / 2422
» Software That Can Think
Sort
View
KSEM
2007
Springer
16 years 29 days ago
A Merging-Based Approach to Handling Inconsistency in Locally Prioritized Software Requirements
Abstract. It has been widely recognized that the relative priority of requirements can help developers to resolve inconsistencies and make some necessary trade-off decisions. Howe...
Kedian Mu, Weiru Liu, Zhi Jin, Ruqian Lu, Anbu Yue...
DSN
2006
IEEE
16 years 26 days ago
Automatic Instruction-Level Software-Only Recovery
As chip densities and clock rates increase, processors are becoming more susceptible to transient faults that can affect program correctness. Computer architects have typically ad...
Jonathan Chang, George A. Reis, David I. August
IEEECIT
2006
IEEE
16 years 25 days ago
Design of a Reliable NAND Flash Software for Mobile Device
Flash memory in various embedded systems such as the backing memory is frequently used in an active type of RFID reader. Because batteries are used in a shifting environment and s...
TaeHoon Kim, KwangMu Shin, TaeHoon Lee, KiDong Jun...
TACAS
2005
Springer
155views Algorithms» more  TACAS 2005»
16 years 9 days ago
Context-Bounded Model Checking of Concurrent Software
The interaction among concurrently executing threads of a program results in insidious programming errors that are difficult to reproduce and fix. Unfortunately, the problem of ve...
Shaz Qadeer, Jakob Rehof
AOSE
2004
Springer
16 years 6 days ago
Evaluation of Agent-Oriented Software Methodologies - Examination of the Gap Between Modeling and Platform
More and more effort is made to provide methodologies for the development of agent–based systems. Awareness has grown that these are necessary to develop high quality agent syst...
Jan Sudeikat, Lars Braubach, Alexander Pokahr, Win...