1824 search results - page 119 / 365 » Practices and Techniques for Engineering Process Capability ... |
135
click to vote
HPDC
2010
IEEE
15 years 5 months ago
2010
IEEE
Automated analysis of unstructured text documents (e.g., web pages, newswire articles, research publications, business reports) is a key capability for solving important problems ...
148
click to vote
APSEC
2005
IEEE
15 years 10 months ago
2005
IEEE
As the number of available Web services increases there is a growing demand to realise complex business processes by combining and reusing available Web services. The reuse and co...
149
click to vote
APN
2007
Springer
15 years 10 months ago
2007
Springer
This tool paper describes the functionality of ProM. Version 4.0 of ProM has been released at the end of 2006 and this version reflects recent achievements in process mining. Proc...
123
Voted
COMPSAC
2004
IEEE
15 years 8 months ago
2004
IEEE
Many developers who could benefit from building and analysing formal models of their systems are deterred from doing so by the process algebra style input languages of formal mode...
129
Voted
WOSP
2000
ACM
15 years 9 months ago
2000
ACM
In this paper we present a formal approach to analyse performance for distributed systems, which is integrated in the early stages of the software development process. We propose ...