23119 search results - page 4389 / 4624 » From Domain to Requirements |
158
click to vote
EDO
2005
Springer
16 years 5 days ago
2005
Springer
This paper addresses the issues of test coverage analysis of J2EE servers. These middleware are nowadays at the core of the modern information technology’s landscape. They provi...
167
click to vote
EGC
2005
Springer
16 years 5 days ago
2005
Springer
This paper describes a research project about robot control across a computing Grid, first step toward a Grid solution for generic process control. A computational Grid can signi...
197
Voted
EMSOFT
2005
Springer
16 years 5 days ago
2005
Springer
The central idea behind interface-based design is to describe components by a component interface. In contrast to a component description that describes what a component does, a c...
194
click to vote
EUC
2005
Springer
16 years 5 days ago
2005
Springer
Wireless sensor networks are capable of carrying out surveillance missions for various applications in remote areas without human interventions. An essential issue of sensor netwo...
162
click to vote
FM
2005
Springer
16 years 5 days ago
2005
Springer
The Mondex Electronic Purse system [18] is an outstanding example of formal refinement techniques applied to a genuine industrial scale application, and notably, was the first ve...