6800 search results - page 564 / 1360 » Testing with Functions as Specifications |
161
click to vote
IICS
2003
Springer
16 years 23 days ago
2003
Springer
Geocast mechanisms allow a sender to transmit network packets to receivers residing at a certain geographical region. Geocast forms the basis for a number of location-based service...
167
click to vote
HICSS
2002
IEEE
16 years 15 days ago
2002
IEEE
The increasingly high penetration rate of mobile phones and the consequent exposure of subscribers to mobile technology present high hopes for the adoption of mobile commerce. Are...
223
click to vote
METRICS
2002
IEEE
16 years 14 days ago
2002
IEEE
Design-for-testability is a very important issue in software engineering. It becomes crucial in the case of OO designs where control flows are generally not hierarchical, but are d...
195
click to vote
VL
2002
IEEE
16 years 14 days ago
2002
IEEE
There has been little research on end-user program development beyond the programming phase. Devising ways to address additional phases may be critical, because research shows tha...
166
click to vote
ICRA
2000
IEEE
15 years 12 months ago
2000
IEEE
In this paper we illustrate a methodology for modeling and analyzing flexible feeders using generalized semi-Markov process (GSMP) models. Working through the simple case consisti...