634 search results - page 83 / 127 » Separability in the Ambient Logic |
ECSA
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. The importance of modelling the dynamic architectural characteristics of software systems has long been recognised. However, the nature of the dynamic architectural chara...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
A theory, graphical notation, mathematical calculus and implementation for finding whether two given expressions can, at execution time, denote references attached to the same obje...
IJNSEC
2008
13 years 10 months ago
2008
In 2005, Lee, Kim, and Yoo proposed a nonce-based mutual authentication scheme using smart cards. However, this paper demonstrates that Lee-Kim-Yoo's scheme is vulnerable to ...
CSSE
2002
IEEE
13 years 9 months ago
2002
IEEE
This work presents a software-implemented fault tolerance approach for building a reliable database application in a CORBA environment. Database applications have functional requi...
CAGD
2010
13 years 6 months ago
2010
Skinning of an ordered set of discrete circles is discussed in this paper. By skinning we mean the geometric construction of two G1 continuous curves touching each of the circles ...