作者: Opponent 時間: 2025-3-21 20:51 作者: ADJ 時間: 2025-3-22 00:52 作者: 偶然 時間: 2025-3-22 08:06 作者: 帶來的感覺 時間: 2025-3-22 10:40
0302-9743 ing challenges facedandsolutionsencounteredbyindustrialists frombothsides ofthe Atlantic. Furthermore, the conference was accompanied by an exhibition where vendors presented their products for supporting reliable-software development.978-3-540-34663-0978-3-540-34664-7Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: Oration 時間: 2025-3-22 15:03
almon is the only Pacific salmon to have a juvenile stage that is usually dependent on a lacustrine habitat and a forage base of Zooplankton. Because lakes used for rearing by juvenile salmon are typically olig-otrophic, the productivity of sockeye lakes has been studied as a factor limiting sizes o作者: intricacy 時間: 2025-3-22 18:35 作者: Panther 時間: 2025-3-22 23:19
Benjamin M. Brosgol,Andy Wellingsern of offset Fresnel lens antennas are derived [11]. Owing to the asymmetry caused by the offset configuration, calculation of the radiation integral can be time-consuming, so solutions to this problem are also provided in this chapter. Finally, an experiment on the offset Fresnel lens antenna is r作者: 昏睡中 時間: 2025-3-23 02:48
Filipe Valpereiro,Luís Miguel Pinhoniques to the zoneplate surface [5]. Since a continuous phase compensation is very difficult to achieve, two sub-optimal phase correction techniques have been used for high efficiency zoneplate antennas, the subzone phase correction and the optimal discrete phase correction [5, 14, 19]. This chapter作者: 身心疲憊 時間: 2025-3-23 09:12
Bernd Burgstaller,Johann Blieberger,Robert Mittermayrum alloys, which have seen increased use for weight reduction in industries like aerospace...In this book, “Critical Distance Stress Theory” that can easily derive the fatigue limit and fatigue life of the stress singular field at the contact edge was presented. As a result, the fretting fatigue str作者: ODIUM 時間: 2025-3-23 12:58
Peter T. Breuer,Simon Pickin partly in order finally to conquer the unavailable temptress, partly to be tantalizing to her (for revenge), and for other more obscure reasons - for example, at the deepest level he still felt like a little boy who wanted his mother to comfort him and not seduce him. In a sense, unconsciously he w作者: Dorsal-Kyphosis 時間: 2025-3-23 14:52 作者: 運動的我 時間: 2025-3-23 19:13
Damian Curtisnating in a sex difference in style of conscience, that is, in the relationship between the self and internalized others. These concepts found brief expression in Freud’s paper on libidinal types (1931), and have been picked up in the work on field dependence, as well as in studies on locus of contr作者: magnate 時間: 2025-3-24 02:15
Li Xuandong,Wang Linzhang,Qiu Xiaokang,Lei Bin,Yuan Jiesong,Zhao Jianhua,Zheng Guoliangon. Our path might have been easier if Freud had indeed regarded his libido theory as a theory of the emotions (as he said he did in ., 1921, p. 90). If one permits libido to stand for the attachment emotions, the origin of hostility and morality in a single source becomes a viable hypothesis. Moral作者: 入伍儀式 時間: 2025-3-24 05:20 作者: stress-response 時間: 2025-3-24 09:16
Diego Alonso,Pedro Sánchez,Bárbara álvarez,Juan A. Pastor’s diminution of interest in therapeutic success paralleled and may have been influenced by the relatively quick successes he achieved with the ready affects of hysterical women patients as contrasted with slow progress and fluctuating outcome of the work with the obsessional Wolf-Man, that champion作者: Mawkish 時間: 2025-3-24 11:02 作者: 考博 時間: 2025-3-24 15:00 作者: PHIL 時間: 2025-3-24 20:00
Mohsen Sharifi,Hadi Salimi to the further development of her ideas. ?Though her views about the child, anxiety, and aggression were already in place before she moved to London, the war did have a substantial effect on her work. It was in Britain that her ideas took on greater resonance due to the Blitz (the aerial bombardmen作者: MUTE 時間: 2025-3-24 23:27
Santiago Urue?a,Juan Zamorano,Daniel Berjón,José A. Pulido,Juan A. de la Puentepants. In this section it is shown that a simple opposition of émigré “(Anna) Freudians” and British “innovators” or “seekers of compromise” fails to grasp the dynamics at work. In the second section, the focus shifts to the discussions themselves. Here it is shown that allusions to “Freud” were emp作者: uveitis 時間: 2025-3-25 05:21 作者: 有雜色 時間: 2025-3-25 11:28
Runtime Verification of Java Programs for Scenario-Based Specificationsn we drive the instrumented program by random test cases so as to generate the program execution traces; last we check if the collected program execution traces satisfy the given specification. Our work leads to a testing tool which may proceed in a fully automatic and push-button fashion.作者: Diatribe 時間: 2025-3-25 14:13 作者: 清楚說話 時間: 2025-3-25 15:53 作者: Obligatory 時間: 2025-3-25 20:25
0302-9743 as usual sponsored by Ada-Europe, the European federation of national Ada societies, in cooperation with ACM SIGAda. It was organized by members of the School of Engineering of the Polytechnic Institute of Porto, in collaboration with several colleagues from di?erent institutions in Europe. Followi作者: Infinitesimal 時間: 2025-3-26 01:40
A Comparison of Ada and Real-Time JavaTM for Safety-Critical Applicationsa credible alternative. This paper discusses and compares Ada and the RTSJ with respect to the requirements for safety-critical systems, in particular how they can serve as the basis for subsets that can be used for developing safety-certified software.作者: 小歌劇 時間: 2025-3-26 04:54 作者: Fillet,Filet 時間: 2025-3-26 11:40 作者: 動脈 時間: 2025-3-26 16:22 作者: NATTY 時間: 2025-3-26 17:43 作者: 脊椎動物 時間: 2025-3-26 22:29
Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systntation of Task-Wait-For Graph to deal with synchronization waiting relations defined in the annex of real-time systems, shows the necessary and sufficient conditions for tasking deadlock occurrences, and present a run-time tasking deadlock detector we implemented for real-time systems with the Ada 95’s annex of real-time systems.作者: 競選運動 時間: 2025-3-27 03:48 作者: 吸氣 時間: 2025-3-27 06:22
Hierarchical Scheduling with Ada 2005y of hierarchical scheduling, thus enabling new ways to developing critical applications in Ada. The paper explores the new opportunities opened by Ada?2005 and proposes some concrete techniques for implementing hierarchical scheduling in the new version of the language.作者: verdict 時間: 2025-3-27 10:29
Secure Execution of Computations in Untrusted Hostsis possible to use an optimizing compiler to automatically transform code structure and data layout so that an application can safely be executed on an untrusted remote host without being reverse engineered.作者: spondylosis 時間: 2025-3-27 17:39
Using Mathematics to Improve Ada Compiled Codef recursion. One of our techniques is based on an analogy with a variant of the well-known critical path method. The other is based on a new result in directed graph theory, which has many potential applications in addition to the one presented here.作者: LITHE 時間: 2025-3-27 18:10
POSIX Trace Based Behavioural Reflectiontending the traditional POSIX trace model with a partial reflective model. Such combi-nation still preserves the trace mechanism semantics while creating a powerful platform to develop new dynamic systems, with little impact in the system and avoiding complex changes in the kernel source code.作者: gangrene 時間: 2025-3-27 23:03
Interchangeable Scheduling Policies in Real-Time Middleware for Distributioning real-time middleware implementations to change their scheduling policies for both the processing nodes and the networks. The technique has been tested in an implementation of Ada’s DSA, providing two interchangeable policies: a fixed-priority scheduler, and a complex contract-based flexible scheduler.作者: flutter 時間: 2025-3-28 05:05 作者: 展覽 時間: 2025-3-28 09:01
Hierarchical Scheduling with Ada 2005is opted for over traditional federation. While comparatively heavyweight approaches to hierarchical scheduling have been prevailing until now, the new scheduling features of Ada 2005 enable lighter-weight techniques to be used. This will expectedly result in increasing the efficiency and flexibilit作者: 笨拙的你 時間: 2025-3-28 11:28
A Comparison of Ada and Real-Time JavaTM for Safety-Critical Applicationsava has not been a serious choice in this domain. However, recent work based on the Real-Time Specification for Java promises to make Java technology a credible alternative. This paper discusses and compares Ada and the RTSJ with respect to the requirements for safety-critical systems, in particular作者: 昆蟲 時間: 2025-3-28 14:35
POSIX Trace Based Behavioural Reflectionapplication must co-exist with any limitations imposed by such design. For modern real-time applications this limits the quality of services offered to the end-user. Research in this field has shown that it is possible to develop dynamic systems where adaptation is the key for success. However, adap作者: 吼叫 時間: 2025-3-28 21:16
One Million (LOC) and Counting: Static Analysis for Errors and Vulnerabilities in the Linux Kernel Sts continuing maturation means that it is now capable of treating millions of lines of code in a few hours on very modest platforms. It detects about two uncorrected deadlock situations per thousand C source files or million lines of source code in the Linux kernel, and three accesses to freed memor作者: barium-study 時間: 2025-3-29 02:13 作者: 好忠告人 時間: 2025-3-29 03:36
SPARK Annotations Within Executable UMLting development techniques for high integrity systems. Work is in progress to develop a code generator for SPARK Ada from the executable UML (xUML) subset. This paper concentrates on the work completed, which enables the utilisation of SPARK annotations within xUML models for a prototype code gener作者: Decrepit 時間: 2025-3-29 08:33
Runtime Verification of Java Programs for Scenario-Based Specificationsafety consistency and the mandatory consistency. The safety consistency requires that any forbidden scenario described by a given sequence diagram never happens during the execution of a program, and the mandatory consistency requires that if a reference scenario described by the given sequence diag作者: 貿(mào)易 時間: 2025-3-29 11:25
Secure Execution of Computations in Untrusted Hostsservers) from mobile applications and mobile applications from remote hosts. This paper proposes and evaluates a solution to the latter problem for applications based on linear computations that involve scalar as well as array arithmetic. We demonstrate that, for certain classes of applications, it 作者: 心胸開闊 時間: 2025-3-29 19:11 作者: CREEK 時間: 2025-3-29 20:47 作者: sleep-spindles 時間: 2025-3-30 02:19
A Software Reliability Model Based on a Geometric Sequence of Failure Ratesxhibit strengths in different areas. This paper proposes a model that is based on a geometric sequence (or progression) of the failure rates of faults. This property of the failure process was observed in practice at Siemens among others and led to the development of the proposed model. It is descri作者: 連鎖 時間: 2025-3-30 06:05 作者: 無能力之人 時間: 2025-3-30 08:24 作者: 壓倒 時間: 2025-3-30 12:28 作者: DEAF 時間: 2025-3-30 16:33
Using Mathematics to Improve Ada Compiled Codebprogram call overhead, involving stack pointer adjustment when a subprogram is called and when it returns. We can also eliminate most static scoping overhead, requiring the use of multiple base registers when procedures are nested. In particular, all this overhead can be eliminated in the absence o作者: Derogate 時間: 2025-3-30 22:24
Replication-Aware Transactions: How to Roll a Transaction over Failurestandard). Replication represents a . approach in which a failed request is re-directed into another replica that is alive. On the other hand, transaction represents a . approach in which a system reverts into its last committed state upon any failure. Current researches show that integrating these t作者: incredulity 時間: 2025-3-31 04:04 作者: 蛛絲 時間: 2025-3-31 06:22 作者: 賞錢 時間: 2025-3-31 12:36
melparous natural history of rearing in the marine environment and returning to freshwater as adults to spawn once before dying in their natal habitat. Five species of anadromous Pacific salmon, . (sockeye or red salmon), . (coho or silver salmon), . (pink or humpback salmon), . (chum or dog salmon)作者: 割公牛膨脹 時間: 2025-3-31 16:47
José A. Pulido,Santiago Urue?a,Juan Zamorano,Tullio Vardanega,Juan A. de la Puentemelparous natural history of rearing in the marine environment and returning to freshwater as adults to spawn once before dying in their natal habitat. Five species of anadromous Pacific salmon, . (sockeye or red salmon), . (coho or silver salmon), . (pink or humpback salmon), . (chum or dog salmon)作者: Barter 時間: 2025-3-31 18:33
Benjamin M. Brosgol,Andy Wellingsn the open literature, and experiments at various frequencies and with various configurations had been reported from time to time since late nineteenth century [1–7]. However, no serious attention was paid to the offset or elliptical zoneplate until the 1980s [2, 9]. This might be due to the fact th作者: 勾引 時間: 2025-3-31 23:28 作者: Optimum 時間: 2025-4-1 04:43 作者: 過份 時間: 2025-4-1 07:15 作者: 易于出錯 時間: 2025-4-1 12:43
Aoun Raza,Gunther Vogel,Erhard Pl?derederey are among the key principles of Freudian thought. Neurosis itself can be described as a form of repetition that both perpetuates an original traumatic situation or relationship and also tries to ‘forget’ it, in the sense of repressing it. Neurotic symptoms have a paradoxical quality therefore: on作者: BALE 時間: 2025-4-1 15:44 作者: venous-leak 時間: 2025-4-1 22:03
Li Xuandong,Wang Linzhang,Qiu Xiaokang,Lei Bin,Yuan Jiesong,Zhao Jianhua,Zheng Guoliangounts had been written that Freud undertook a study of the origins of guilt in .. In his clinical papers, as well as in his books on dreams and jokes, “disgust, shame, and morality” were simply the counterforces against which sexual longings (libido) contended. Moreover, the origin of these counterf作者: Airtight 時間: 2025-4-2 01:31
S. H. K. Narayanan,M. T. Kandemir,R. R. Brooks,I. Kolcuness was derived from the sufferings of hysterical women. Members of the “second sex” in middle-class Vienna, living with a set of values that fostered a benign degradation of womanhood, transformed their forbidden rage into forbidden sexual longings and thence into incapacitating neurotic symptoms.作者: 子女 時間: 2025-4-2 05:15
