Sciweavers

1750 search results - page 151 / 350
» E-Commerce Development Procedure
Sort
View
193
Voted
ISOOMS
1994
15 years 9 months ago
Testing of Object-Oriented Programming Systems (OOPS): A Fault-Based Approach
The goal of this paper is to examine the testing of object-oriented systems and to compare and contrast it with the testing of conventional programming language systems, with empha...
Jane Huffman Hayes
127
Voted
ASPDAC
2007
ACM
89views Hardware» more  ASPDAC 2007»
15 years 9 months ago
Trace Compaction using SAT-based Reachability Analysis
In today's designs, when functional verification fails, engineers perform debugging using the provided error traces. Reducing the length of error traces can help the debugging...
Sean Safarpour, Andreas G. Veneris, Hratch Mangass...
ATAL
2007
Springer
15 years 9 months ago
Negotiation by abduction and relaxation
This paper studies a logical framework for automated negotiation between two agents. We suppose an agent who has a knowledge base represented by a logic program. Then, we introduc...
Chiaki Sakama, Katsumi Inoue
CSMR
2004
IEEE
15 years 8 months ago
Documenting Maintenance Tasks Using Maintenance Patterns
A common problem in software maintenance is the lack of documentation required for carrying out the maintenance tasks. Both expected and unexpected maintenance tasks use and produ...
Imed Hammouda, Maarit Harsu
CRITIS
2006
15 years 8 months ago
Applying Key Infrastructures for Sensor Networks in CIP/CIIP Scenarios
It is commonly agreed that Wireless Sensor Networks (WSN) is one of the technologies that better fulfills features like the ones required by Critical (Information) Infrastructures....
Cristina Alcaraz, Rodrigo Roman