2488 search results - page 459 / 498 » An improvement in formal verification |
118
click to vote
AICOM
2005
15 years 1 months ago
2005
Abstract. Simulating and controlling physiological phenomena are complex tasks to tackle. This is due to the fact that physiological processes are usually described by a set of par...
123
click to vote
TMI
2008
15 years 1 months ago
2008
With continuing improvements in spatial resolution of positron emission tomography (PET) scanners, small patient movements during PET imaging become a significant source of resolut...
132
click to vote
TPDS
2008
15 years 1 months ago
2008
It has been discussed in the literature that the mobility of a mobile sensor network (MSN) can be used to improve its sensing coverage. How the mobility can efficiently be managed ...
120
click to vote
JSW
2007
15 years 1 months ago
2007
—This paper presents some results in the intersection of three technological fields: e-learning, multiagent systems, and standards to improve the development of secure systems. T...
113
Voted
CLUSTER
2004
IEEE
15 years 1 months ago
2004
IEEE
Grid computing systems are emerging as a computing infrastructure that will enable the use of wide-area network computing systems for a variety of challenging applications. One of ...