4797 search results - page 592 / 960 » The complexity of partition tasks |
205
click to vote
ASM
2008
ASM
15 years 8 months ago
2008
ASM
Abstract. The Mondex case study concerns the formal development and verification of an electronic purse protocol. Several groups have worked on its specification and mechanical ver...
192
click to vote
BPM
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Developing service based complex applications (service composition) has become an important area of research in SOA. In spite of this, there has been little effort to und...
146
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract-- Detecting and isolating multiple faults is a computationally intense task which typically consists of computing a set of tests, and then computing the diagnoses based on...
172
click to vote
EGOV
2006
Springer
15 years 8 months ago
2006
Springer
Improving the usability of government portal sites requires a focus shift from system to user in both research and design. Empirical studies into user behavior are needed to suppor...
121
click to vote
CIE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. As one simple type of statistical inference problems we consider Most Likely Solution problem, a task of finding a most likely solution (MLS in short) for a given proble...