16725 search results - page 679 / 3345 » Engineering Software Correctness |
234
Voted
FASE
2004
Springer
16 years 20 days 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...
207
click to vote
PEPM
2004
ACM
16 years 19 days ago
2004
ACM
Advanced typing, matching, and evaluation strategy features, as well as very general conditional rules, are routinely used in equational programming languages such as, for example...
193
Voted
APSEC
2003
IEEE
16 years 18 days 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...
230
click to vote
COMPSAC
2003
IEEE
16 years 18 days 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...
179
click to vote
EDBTW
2010
Springer
16 years 12 days 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...