18209 search results - page 330 / 3642 » Some Remarks on the Paper |
166
click to vote
LCPC
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. In this paper we present an implementation of May Happen in Parallel analysis for Java that attempts to address some of the practical implementation concerns of the origi...
157
click to vote
MMB
2004
Springer
16 years 4 days ago
2004
Springer
In the paper we present approaches to calculate single connections availability. Approximate calculations for the most representative protection topologies as well as for a partic...
197
click to vote
RTA
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. In this paper we present some new refinements of the dependency pair method for automatically proving the termination of term rewrite systems. These refinements are ver...
156
click to vote
UML
2004
Springer
16 years 3 days ago
2004
Springer
: This paper presents an overview on the workshop on Specification and Validation of Real-time and embedded Systems that has taken place for the second time in association with the...
167
Voted
DEXAW
2003
IEEE
16 years 2 days ago
2003
IEEE
One of the most promising future applications in the domain of mCommerce is the mobile payment. Different approaches come to the market and try to address existing needs, but up t...