35419 search results - page 222 / 7084 » How are we doing |
136
Voted
JUCS
2010
15 years 3 months ago
2010
: As ICT provide a lot of possibilities, high expectancies exist towards the electronic public service provision. All governments are increasingly establishing their e-strategies. ...
153
Voted
AINA
2010
IEEE
15 years 2 months ago
2010
IEEE
New transport protocols continue to appear as alternatives to the Transmission Control Protocol (TCP). Many of these are are designed to address TCP's inefficiency in operatin...
128
Voted
FROCOS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper we combine rewriting techniques with verification issues. More precisely, we show how techniques for proving relative termination of term rewrite systems (...
138
click to vote
UML
2001
Springer
15 years 9 months ago
2001
Springer
: There are several reasons to specify UML models in a formal way The most important are to avoid inconsistencies and ambiguities and to do verification and forecasting of system p...
142
Voted
CORR
2011
Springer
14 years 11 months ago
2011
Springer
In this paper we consider the generation of discrete white noise. Despite this seems to be a simple problem, common noise generator implementations do not deliver comparable resul...