258 search results - page 8 / 52 » Facilitating and automating empirical evaluation |
BPM
2009
Springer
14 years 1 months ago
2009
Springer
The effect of using automated auditing tools to detect compliance failures in unmanaged business processes is investigated. In the absence of a process execution engine, compliance...
DSS
2007
13 years 7 months ago
2007
Distributed teams can carry out critical tasks with appropriate decision support technologies. The architecture and detailed design of a Web-based GDSS, called TeamSpirit, are dis...
GECCO
2009
Springer
14 years 1 months ago
2009
Springer
The critical functionality of many software applications relies on code that performs mathematically complex computations. However, such code is often difficult to test owing to t...
STTT
2008
13 years 7 months ago
2008
We present ProB, a validation toolset for the B method. ProB's automated animation facilities allow users to gain confidence in their specifications. ProB also contains a mode...
WWW
2005
ACM
14 years 8 months ago
2005
ACM
In this paper, we focus on the development of a framework for automatic metadata generation. The first step towards this framework is the definition of an Application Programmer I...