Sciweavers

7209 search results - page 638 / 1442
» Software Engineering for Multi-Agent Systems
Sort
View
TASE
2007
IEEE
15 years 11 months ago
Realizing Live Sequence Charts in SystemVerilog
The design of an embedded control system starts with an investigation of properties and behaviors of the process evolving within its environment, and an analysis of the requiremen...
Hai H. Wang, Shengchao Qin, Jun Sun 0001, Jin Song...
165
Voted
SIGSOFT
2006
ACM
15 years 11 months ago
Carving differential unit test cases from system test cases
Unit test cases are focused and efficient. System tests are effective at exercising complex usage patterns. Differential unit tests (DUT) are a hybrid of unit and system tests. T...
Sebastian G. Elbaum, Hui Nee Chin, Matthew B. Dwye...
159
Voted
AADEBUG
2005
Springer
15 years 10 months ago
An integrated debugging environment for reprogrammble hardware systems
Reprogrammable hardware systems are traditionally very difficult to debug due to their high level of parallelism. In our solution to this problem, features are inserted into the u...
Kevin Camera, Hayden Kwok-Hay So, Robert W. Broder...
ASWSD
2004
Springer
15 years 10 months ago
On the Fault Hypothesis for a Safety-Critical Real-Time System
– A safety-critical real-time computer system must provide its services with a dependability that is much better than the dependability of any one of its constituent components. ...
Hermann Kopetz
IUI
2003
ACM
15 years 10 months ago
Towards more conversational and collaborative recommender systems
Current recommender systems, based on collaborative filtering, implement a rather limited model of interaction. These systems intelligently elicit information from a user only dur...
Giuseppe Carenini, Jocelyin Smith, David Poole