Sciweavers

137 search results - page 24 / 28
» Testing Event-Driven Business Processes
Sort
View
IV
2002
IEEE
65views Visualization» more  IV 2002»
14 years 16 days ago
Visual Information Retrieval with the SuperTable + Scatterplot
We present a new visualization approach for metadata combining different visualizations into a so-called SuperTable accompanied by a Scatterplot. The goal is to improve user exper...
Peter Klein, Frank Müller, Harald Reiterer, M...
SACMAT
2010
ACM
14 years 13 days ago
Monitoring security policies with metric first-order temporal logic
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...
David A. Basin, Felix Klaedtke, Samuel Müller
ICCCI
2009
Springer
14 years 6 days ago
A Multi-agent Model of Deceit and Trust in Intercultural Trade
Trust is a sine qua non for trade. According to transaction cost economics, a contract always offers some opportunity to defect. In the case of asymmetric product information, wher...
Gert Jan Hofstede, Catholijn M. Jonker, Tim Verwaa...
CAISE
2008
Springer
13 years 9 months ago
An Hybrid Design Solution For Spacecraft Simulators
Abstract. The European Space Agency (ESA) has created the Simulation Model Portability 2 (SMP2) standard with the purpose to provide a design solution for the project of Spacecraft...
Vitor Rodrigues, João Correia Lopes, Ana Mo...
RE
2008
Springer
13 years 7 months ago
Legal Requirements, Compliance and Practice: An Industry Case Study in Accessibility
U.S. laws and regulations are designed to support broad societal goals, such as accessibility, privacy and safety. To demonstrate that a product complies with these goals, busines...
Travis D. Breaux, Annie I. Antón, Kent Bouc...