Sciweavers

15860 search results - page 2632 / 3172
» Agent-Based Software Engineering
Sort
View
ISORC
2003
IEEE
15 years 11 months ago
Basic Program Structures for Avoiding Priority Inversions
: Structuring real-time concurrent programs in the form of groups of fixed-priority processes is an old art which is appropriate for only a small fraction of modern real-time distr...
K. H. Kim
ISORC
2003
IEEE
15 years 11 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 11 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
156
Voted
ISSRE
2003
IEEE
15 years 11 months ago
Requirements by Contracts allow Automated System Testing
Use-cases and scenarios have been identified as good inputs to generate test cases and oracles at requirement level. Yet to have an automated generation, information is missing f...
Clémentine Nebut, Franck Fleurey, Yves Le T...
158
Voted
IV
2003
IEEE
90views Visualization» more  IV 2003»
15 years 11 months ago
Visual User Interface for PDAs
The need for visualisation applications developed for small handheld devices such as PDAs and intelligent mobiles are growing. A visual user interface VUI model based on zooming u...
Mikael Jern, D. Ricknäs, F. Stam, Robert Trel...
« Prev « First page 2632 / 3172 Last » Next »