1890 search results - page 280 / 378 » Model-Based Testing in Practice |
127
click to vote
AGENTS
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. One of the reasons for attending to agent technology is the evergrowing complexity of information systems and the increasing difficulty to foresee and plan for all potent...
105
click to vote
ISPW
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract. Explicitly defining a software process model is widely recognized as a good software engineering practice. However, having a defined process does not necessarily mean tha...
103
click to vote
COMPSAC
1999
IEEE
15 years 5 months ago
1999
IEEE
The use of formal methods has been growing steadily and there have been a number of successful applications of formal methods in a range of application areas. It seems agreed that...
105
click to vote
ISLPED
1999
ACM
15 years 5 months ago
1999
ACM
While guarded evaluation has proven an effective energy saving technique in arithmetic circuits, good methodologies do not exist for determining when and how to guard for maximal ...
130
click to vote
LCN
1999
IEEE
15 years 5 months ago
1999
IEEE
The practical network performances of two commercial IEEE 802.11 compliant wireless local area networks (WLANs) are measured at the medium access control sublayer. A number of tes...