作者: Instantaneous 時間: 2025-3-22 00:10
Alessandro Zovi,Tullio Vardanegasely what Foucault decried as the deployment of sexuality in late capitalism. This is a time, he wrote in 1976, ‘in which the exploitation of wage labor does not demand the same violent and physical constraints as in the nineteenth century, and where the politics of the body does not require the eli作者: 小蟲 時間: 2025-3-22 01:53
Santiago Urue?a,Juan Zamorano,Juan A. de la Puenteuld “mass” be understood in a physical or socio-political sense, or is it a quantitative noun?’ Speaking about the ‘mass’ in relation to Freud’s thought can be so perplexing in the sense that it may prompt the dismissive question as to whether Freud has ever written on the mass in any of these sense作者: Chagrin 時間: 2025-3-22 07:09 作者: GRACE 時間: 2025-3-22 10:06
Man Fai Lau,Yuen Tak Yuion that is developed in the essays on application. In . (1927), this reflection leads to the hope that, one day, science will take over from religious ideas. This prediction rests on a traditional apportioning whereby ignorance and superstition are the lot of the many while enlightenment through sc作者: 傳授知識 時間: 2025-3-22 12:52
Didier Buchs,Levi Lucio,Ang Chenken by Jacques Derrida — but not without some scepticism towards that account, especially its celebration of apparent failures of meaning that are, rather paradoxically, presented as a sort of hedonistic melancholy. Having particular value as a practice of close reading (though one which tends to be作者: Concerto 時間: 2025-3-22 20:22
Francisco J. Montoya-Dato,José Luis Fernández-Alemán,Ginés García-Mateosken by Jacques Derrida — but not without some scepticism towards that account, especially its celebration of apparent failures of meaning that are, rather paradoxically, presented as a sort of hedonistic melancholy. Having particular value as a practice of close reading (though one which tends to be作者: atrophy 時間: 2025-3-23 00:32 作者: Cpap155 時間: 2025-3-23 01:52 作者: 卷發(fā) 時間: 2025-3-23 07:10
Sergio Sáez,Silvia Terrasa,Vicente Lorente,Alfons Crespon?.Includes supplementary material: .Includes supplementary Globale Schulen wie die ‘Internationale Schule‘ in Deutschland und die ‘Deutsche Auslandsschule‘ in Japan rahmen den schulischen Zusammenhang durch die Ausrichtung des Schulprofils nicht nur auf die curricularen Lern- und Bildungsprozesse, 作者: 出血 時間: 2025-3-23 13:24
José L. Fernández Sánchez,Gloria Mármol Acitoresn?.Includes supplementary material: .Includes supplementary Globale Schulen wie die ‘Internationale Schule‘ in Deutschland und die ‘Deutsche Auslandsschule‘ in Japan rahmen den schulischen Zusammenhang durch die Ausrichtung des Schulprofils nicht nur auf die curricularen Lern- und Bildungsprozesse, 作者: 我的巨大 時間: 2025-3-23 16:26 作者: 高腳酒杯 時間: 2025-3-23 19:56 作者: WITH 時間: 2025-3-24 00:05
Bernard Berthomieu,Jean-Paul Bodeveix,Christelle Chaudet,Silvano Dal Zilio,Mamoun Filali,Fran?ois Ven?.Includes supplementary material: .Includes supplementary Globale Schulen wie die ‘Internationale Schule‘ in Deutschland und die ‘Deutsche Auslandsschule‘ in Japan rahmen den schulischen Zusammenhang durch die Ausrichtung des Schulprofils nicht nur auf die curricularen Lern- und Bildungsprozesse, 作者: JECT 時間: 2025-3-24 02:53
Oleg Sokolsky,Insup Lee,Duncan Clarken?.Includes supplementary material: .Includes supplementary Globale Schulen wie die ‘Internationale Schule‘ in Deutschland und die ‘Deutsche Auslandsschule‘ in Japan rahmen den schulischen Zusammenhang durch die Ausrichtung des Schulprofils nicht nur auf die curricularen Lern- und Bildungsprozesse, 作者: overwrought 時間: 2025-3-24 08:34
Gilles Lasnier,Bechir Zalila,Laurent Pautet,Jérome Huguesdes Aufsichtsrats entsprechenden Teil der Mitglieder neu w?hlen zu lassen. Man versprach sich davon eine bessere Kontinuit?t der Arbeit im Aufsichtsrat. Der Turnus brachte es mit sich, da? meist nur die Neuwahl von 1, 2, h?chstens 3 Mitgliedern auf der Tagesordnung der ordentlichen Hauptversammlung 作者: DEMN 時間: 2025-3-24 14:27
Eric Le Pors,Olivier Grisvardn. Um nicht sprachlos alles über sich ergehen zu lassen und wie es gelingt, ?hitzige“ Situationen abzukühlen, erl?utert das Pocketbuch. Einfache, aber wirkungsvolle Strategien werden vorgestellt, diese Gespr?chssituationen souver?n zu meistern und mit aufgebrachten, ver?rgerten Menschen umzugehen. E作者: 一瞥 時間: 2025-3-24 18:01 作者: 才能 時間: 2025-3-24 21:13 作者: 專心 時間: 2025-3-25 02:34 作者: 不要不誠實 時間: 2025-3-25 04:12
A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems, are becoming more and more common. This papers discusses the feasibility of designing a real-time middleware for distributed high-integrity Ada programs with an statically analysable behaviour, and the necessary language restrictions that should be used in order to enable the required predictability and timeliness properties.作者: arthroscopy 時間: 2025-3-25 09:28
An Experience on Ada Programming Using On-Line Judging,y of the code. To ensure the authorship of the programs, a source-code plagiarism detection environment is used. Experimental results show the effectiveness of the proposed approach. The dropout rate decreased from 61% in the autumn semester 2007 to 48% in the autumn semester 2008.作者: BROW 時間: 2025-3-25 13:35
Modelling and Evaluating Real-Time Software Architectures, small and medium real-time systems, identifying and solving concurrency problems at the architecture phase thus saving later testing and debugging efforts. An illustrative example of modelling and evaluation of an elevator control system is presented.作者: 排斥 時間: 2025-3-25 17:17
A Formal Foundation for Metamodeling,model, the OMG standard for expressing transformations. The goal of this formalization is, on the one hand, to reason about ambiguity and consistency of metamodels and, on the other hand, to support tests and proofs in model transformations.作者: 砍伐 時間: 2025-3-25 20:42
Requirements on the Target Programming Language for High-Integrity MDE,driven engineering environment. We show that the dominant point of view for this selection becomes that of the designer of the model-to-code transformation engine. We then illustrate the application of the proposed requirements on a simple example.作者: 要控制 時間: 2025-3-26 03:07 作者: FLIC 時間: 2025-3-26 04:18
Validating Safety and Security Requirements for Partitioned Architectures,ailure, etc.). Each year, millions of dollars are lost due to these kinds of issues. Consequently, safety and security requirements must be enforced. Systems must be validated against these requirements to improve safety and security and to make them more reliable and robust. We present our approach作者: Lime石灰 時間: 2025-3-26 10:51
On Comparing Testing Criteria for Logical Decisions, criteria have different sizes and fault-detecting ability. Moreover, test sets that satisfy a stronger criterion and detect more faults usually consist of more test cases. A question that often puzzles software testing professionals and researchers is: when a testing criterion .1 helps to detect mo作者: fender 時間: 2025-3-26 14:07 作者: Console 時間: 2025-3-26 17:45 作者: JUST 時間: 2025-3-26 22:00
Weak Fairness Semantic Drawbacks in Java Multithreading,s kernel or application platforms. It is the aim of this paper to exemplify some subtle programming errors that may result from the process queuing and awaking policy, which corresponds to a weak fairness semantic and which has been chosen for implementing the monitor concept in this language. Two e作者: cuticle 時間: 2025-3-27 04:08
Implementation of the Ada 2005 Task Dispatching Model in MaRTE OS and GNAT,ching, and allows mixing these policies into a hierarchy of schedulers. This hierarchical scheduling model is a very interesting solution that allows us to have in the same system the best properties of the three policies: the high performance of EDF, the predictability of fixed priorities, and the 作者: Sputum 時間: 2025-3-27 08:24
Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005,ystems engineering. Both dispatching policies are now supported by Ada. In this paper the two approaches are combined to maximize the advantages of both schemes. From EDF comes efficiency, from FP predictability. A system model is presented in which a relatively small number of high-integrity tasks 作者: HATCH 時間: 2025-3-27 13:26 作者: FOR 時間: 2025-3-27 14:16
Implementing Reactive Systems with UML State Machines and Ada 2005, with object-oriented concepts. However, manual transformation of these expressive models to object-oriented languages is an error-prone process. Model-Driven Engineering approach advocates for an automatic process to translate models into high-level programing languages. This work deals with the co作者: idiopathic 時間: 2025-3-27 19:09 作者: PLAYS 時間: 2025-3-28 01:08 作者: Throttle 時間: 2025-3-28 05:28
Modeling AADL Data Communication with BIP, Interaction, Priority). We focus here on deterministic data communications and show how BIP can support them. BIP provides a language and a theory for incremental composition of heterogeneous components. As a full-size exercise, we deal here with the modeling of immediate and delayed data communica作者: 無所不知 時間: 2025-3-28 09:27 作者: 期滿 時間: 2025-3-28 11:35 作者: 委派 時間: 2025-3-28 18:00 作者: CLAIM 時間: 2025-3-28 20:26 作者: Anal-Canal 時間: 2025-3-28 23:03
Coloured Petri Nets for Chronicle Recognition,tax for the different chronicle operators considered. The recognition of chronicles is used in the processing of complex system simulations so as to detect activities or analyse behaviours. This work models formally the chronicle recognition, and coloured Petri nets (CPN) are used to model the recog作者: zonules 時間: 2025-3-29 06:29 作者: nonsensical 時間: 2025-3-29 07:15
Modeling AADL Data Communication with BIP,r incremental composition of heterogeneous components. As a full-size exercise, we deal here with the modeling of immediate and delayed data communications supporting undersampling and oversampling of AADL.作者: 帳單 時間: 2025-3-29 12:54
Conference proceedings 2009rence are methods and techniques for software development and maintenance; software architecture; enabling technology; software quality; theory and practice of high-integrity systems; embedded systems; mainstream and emerging applications; ada language and technology; ada and education.作者: 或者發(fā)神韻 時間: 2025-3-29 17:51 作者: beta-carotene 時間: 2025-3-29 19:45
Predicated Worst-Case Execution-Time Analysis,d 20% in some cases during evaluation. Computing the WCET of programs modeled using our approach reveals a great ease of expressing execution-time dependencies and manageable WCET-calculation time-complexity.作者: 新娘 時間: 2025-3-30 02:34
, : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Appliclanguages to describe application critical aspects. In this paper we introduce the use of AST as a modeling language for Distributed Real-time Embedded (DRE) systems. Then we present our tool-suite . which allows automatic code generation from AST models. Finally, we present a comparison between . and traditional approaches.作者: 類型 時間: 2025-3-30 07:47 作者: 成績上升 時間: 2025-3-30 08:14 作者: Feckless 時間: 2025-3-30 14:47
Conference proceedings 2009t, France, on June 8-12, 2009. The 19 papers presented were carefully reviewed and selected from numerous submissions. Topics of interest to the conference are methods and techniques for software development and maintenance; software architecture; enabling technology; software quality; theory and pr作者: Palpable 時間: 2025-3-30 17:33
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/r/image/826450.jpg作者: PRISE 時間: 2025-3-30 23:56 作者: colostrum 時間: 2025-3-31 00:57
Requirements on the Target Programming Language for High-Integrity MDE,driven engineering environment. We show that the dominant point of view for this selection becomes that of the designer of the model-to-code transformation engine. We then illustrate the application of the proposed requirements on a simple example.作者: 等級的上升 時間: 2025-3-31 06:01
Model Checking Techniques for Test Generation from Business Process Models,ular kind of tests. In order to do this we transform the Business Process models in an intermediate format called Algebraic Petri Nets. We then use model checking techniques (e.g. Decision Diagrams) to encode the state space — the semantics — of the model and producing test cases including their oracles according to that transition system.作者: myocardium 時間: 2025-3-31 12:16 作者: covert 時間: 2025-3-31 15:18
Process-Algebraic Interpretation of AADL Models,olset provides simulation and timing analysis of AADL models. Underlying both tools is a process-algebraic implementation of AADL semantics. The common implementation of the semantics ensures consistency in the analysis results between the tools.作者: 悶熱 時間: 2025-3-31 18:02 作者: albuminuria 時間: 2025-4-1 00:34
Reliable Software Technologies - Ada-Europe 2009978-3-642-01924-1Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: ADOPT 時間: 2025-4-1 05:03
or economic reasons’ (., 114) to that of a sexuality that . for economic reasons. These are, of course, no longer the reasons of bio-power and bourgeois class hegemony that Foucault attributed to the late eighteenth and nineteenth centuries, but rather the economics of transnational capital and labo作者: Conduit 時間: 2025-4-1 09:25
Alessandro Zovi,Tullio Vardanegaor economic reasons’ (., 114) to that of a sexuality that . for economic reasons. These are, of course, no longer the reasons of bio-power and bourgeois class hegemony that Foucault attributed to the late eighteenth and nineteenth centuries, but rather the economics of transnational capital and labo作者: Externalize 時間: 2025-4-1 12:07
Santiago Urue?a,Juan Zamorano,Juan A. de la Puenteses and the two popular methods of interpretation.. It can be part of a description of the external world or of the ego as in ‘The Project of a Scientific Psychology’ (1895).. It points to human groupings whose dimensions remain unspecified, as throughout . (1930). Or else, it functions as a term of
