5683 search results - page 109 / 1137 » Interactive Schedulability Analysis |
143
click to vote
WWW
2004
ACM
16 years 4 months ago
2004
ACM
This paper presents a set of tools and techniques for analyzing interactions of composite web services which are specified in BPEL and communicate through asynchronous XML message...
123
click to vote
EICS
2009
ACM
15 years 10 months ago
2009
ACM
This paper discusses the use of formal methods for analysing human-computer interaction. We focus on the mode confusion problem that arises whenever the user thinks that the syste...
123
click to vote
IVS
2008
15 years 3 months ago
2008
Large financial institutions such as Bank of America handle hundreds of thousands of wire transactions per day. Although most transactions are legitimate, these institutions have ...
139
click to vote
FASE
2005
Springer
15 years 9 months ago
2005
Springer
In situations in which developers are not familiar with a system or its documentation is inadequate, the system’s source code becomes the only reliable source of information. Unf...
137
click to vote
BIBE
2007
IEEE
15 years 5 months ago
2007
IEEE
—DNA microarray technologies provide means for monitoring in the order of tens of thousands of gene expression levels quantitatively and simultaneously. However data generated in...