1799 search results - page 249 / 360 » The Logic of Correctness in Software Engineering |
210
click to vote
IUI
2004
ACM
15 years 12 months ago
2004
ACM
People are performing increasingly complicated actions on the web, such as automated purchases involving multiple sites. Things often go wrong, however, and it can be difficult to...
202
click to vote
FASE
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
169
click to vote
APSEC
2003
IEEE
15 years 11 months ago
2003
IEEE
The programmable service for Internet telephony (VoIP) allows end-users or third parties to define their own customized services. However, it imposes a serious drawback that serv...
199
click to vote
COMPSAC
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we propose an algorithm to construct the Ordered Binary Decision Diagram (OBDD) representing the cut function of a terminal-pair network. The algorithm recognizes i...
149
click to vote
EDBTW
2010
Springer
15 years 11 months ago
2010
Springer
In modern architectures based on Web Services or Cloud Computing, a very large number of user requests arrive concurrently and has to be scheduled for execution constrained by cor...