32 search results - page 1 / 7 » The Riemann Integral in Weak Systems of Analysis |
JUCS
2008
13 years 11 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 6 days 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...
GAMESEC
2010
13 years 9 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...
SCS
2001
14 years 8 days 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...
HASE
2007
IEEE
14 years 5 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-...