32 search results - page 1 / 7 » The Riemann Integral in Weak Systems of Analysis |
66
Voted
JUCS
2008
14 years 9 months ago
2008
: Taking as a starting point (a modification of) a weak theory of arithmetic of Jan Johannsen and Chris Pollett (connected with the hierarchy of counting functions), we introduce s...
WSC
1997
14 years 10 months ago
1997
This paper describes the Integrated Supportability Analysis and Cost System (ISACS+) and the features which will be demonstrated. ISACS+ is a distributed, client/server system for...
109
click to vote
GAMESEC
2010
14 years 7 months ago
2010
The combination of username and password is widely used as a human authentication mechanism on the Web. Despite this universal adoption and despite their long tradition, password s...
80
Voted
SCS
2001
14 years 10 months ago
2001
Integrated Modular Avionics (IMA) is the term used for a common computer network aboard an aircraft. In order to gain full benefit from this technology a strategy is required to a...
95
Voted
HASE
2007
IEEE
15 years 3 months ago
2007
IEEE
Fault Tree Analysis (FTA) is a safety-analysis technique that has been recently extended to accommodate product-line engineering for critical domains. This paper describes a tool-...