390 search results - page 5 / 78 » SOFAS: software analysis services |
ICSEA
2008
IEEE
14 years 1 months ago
2008
IEEE
In this paper we propose that formal modelling techniques are necessary in establishing the trustworthiness of e-voting systems and the software within. We illustrate how a distri...
ACISICIS
2005
IEEE
14 years 1 months ago
2005
IEEE
: This paper presents a queuing analysis model of a PC-based software router supporting IPv6-IPv4 translation for residential gateway. The proposed models are M/G/1/K or MMPP-2/G/1...
CISIS
2009
IEEE
14 years 2 months ago
2009
IEEE
Pervasive computing, the new computing paradigm aiming at providing services anywhere at anytime, poses great challenges on dynamic service composition. Existing service compositi...
FECS
2006
13 years 8 months ago
2006
- Many small businesses require distributed information systems but do not have the resources to develop, host or maintain them. An alternative approach may be to offer the softwar...
MMNS
2000
13 years 8 months ago
2000
: Growing dependence of commerce, industry and academia on the Internet underlines importance of analyzing its behavior. Changing Internet structure makes the gathered data quickly...