Sciweavers

1685 search results - page 261 / 337
» Commonality and Variability in Software Engineering
Sort
View
ICFEM
2004
Springer
15 years 8 months ago
A General Model for Reachability Testing of Concurrent Programs
Reachability testing is a technique for testing concurrent programs. Reachability testing derives test sequences on-the-fly as the testing process progresses, and can be used to sy...
Richard H. Carver, Yu Lei
118
Voted
ISORC
2003
IEEE
15 years 8 months ago
The Event-Triggered and Time-Triggered Medium-Access Methods
The processes of accessing a shared communication media have been extensively researched in the dependability and real-time area. For embedded systems, the primary approaches have...
Vilgot Claesson, Cecilia Ekelin, Neeraj Suri
ISSRE
2003
IEEE
15 years 8 months ago
Coverage Criteria for Logical Expressions
A large number of coverage criteria to generate tests from logical expressions have been proposed. Although there have been large variations in the terminology, the articulation o...
Paul Ammann, A. Jefferson Offutt, Hong Huang
90
Voted
UIST
2003
ACM
15 years 7 months ago
Considering the direction of cursor movement for efficient traversal of cascading menus
Cascading menus are commonly seen in most GUI systems. However, people sometimes choose the wrong items by mistake, or become frustrated when submenus pop up unnecessarily. This p...
Masatomo Kobayashi, Takeo Igarashi
135
Voted
ASP
2003
Springer
15 years 7 months ago
A Java Wrapper for DLV
Abstract. Disjunctive logic programs are a powerful tool in knowledge representation and commonsense reasoning. The recent development of an efficient disjunctive logic programmin...
Francesco Ricca