2748 search results - page 299 / 550 » Generating Object-Z Specifications from Use Cases |
130
Voted
ICPR
2004
IEEE
16 years 5 months ago
2004
IEEE
We consider the correspondence problem associated with the non-rigid registration of a group of images; in particular, the theoretical basis for the derivation of the objective fu...
151
click to vote
SAFECOMP
2005
Springer
15 years 9 months ago
2005
Springer
As programmable logic controllers(PLCs) have been used in safety-critical applications, testing of PLC applications has become important. The previous PLC-based software testing te...
132
click to vote
ARTMED
2002
15 years 4 months ago
2002
Present-day healthcare witnesses a growing demand for coordination of patient care. Coordination is needed especially in those cases in which hospitals have structured healthcare ...
125
Voted
WCRE
2006
IEEE
15 years 10 months ago
2006
IEEE
In many areas of software engineering, empirical studies are playing an increasingly important role. This stems from the fact that software technologies are often based on heurist...
127
click to vote
ICA3PP
2005
Springer
15 years 9 months ago
2005
Springer
Many of the key features of file transfer mechanisms like reliable file transferring and parallel transferring are developed as part of the service. It makes very hard to re-use th...