6757 search results - page 1130 / 1352 » Knowledge Analysis on Process Models |
131
click to vote
SBMF
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. In the verification of concurrent systems involving probabilities, the aim is to find out the maximum/minimum probability that a given event occurs (examples of such ev...
124
click to vote
AVSS
2007
IEEE
15 years 7 months ago
2007
IEEE
In this paper, we propose a joint face orientation estimation in smart camera networks without having to localize the cameras in advance. The system is composed of in-node coarse ...
127
click to vote
ICDIM
2007
IEEE
15 years 7 months ago
2007
IEEE
We propose an XML storage scheme based on Document Table Model (DTM) which expresses an XML document as a table form. When performing query processing on large scale XML data, XML...
ACSAC
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper discusses the Trustworthy Computing Security Development Lifecycle (or simply the SDL), a process that Microsoft has adopted for the development of software that needs ...
156
Voted
CCGRID
2008
IEEE
15 years 5 months ago
2008
IEEE
Abstract--The current trend in high performance computing is to aggregate ever larger numbers of processing and interconnection elements in order to achieve desired levels of compu...