作者: 致敬 時間: 2025-3-21 23:13 作者: 彎曲的人 時間: 2025-3-22 03:16 作者: 眉毛 時間: 2025-3-22 07:04 作者: 無孔 時間: 2025-3-22 12:35
Quality Evaluation of Object-Oriented and Standard Mutation Operators Applied to C# Programs,anguages, like C#, both object-oriented and standard (traditional) mutation operators should be applied. The methods that can contribute to reducing the number of applied operators and lowering the costs of mutation testing were experimentally investigated. We extended the CREAM mutation tool to sup作者: 用肘 時間: 2025-3-22 13:30
,: A Community Project on Software Technologies and Software Languages,urce including an open-source repository for different . with interests in .; notably: teachers and learners in software engineering or software languages as well as software developers, software technologists, and ontologists. The present paper introduces the . Project. In fact, the present paper i作者: 脫落 時間: 2025-3-22 18:49 作者: STALE 時間: 2025-3-22 22:04 作者: SNEER 時間: 2025-3-23 03:03 作者: Isolate 時間: 2025-3-23 09:32
Efficient Method Lookup Customization for Smalltalk,ot a trivial task to provide a runtime system for a new language, existing runtime systems such as the Java Virtual Machine or the Common Language Runtime are used to host the new language..However, most of the high-performance runtime systems were designed for a specific language with a specific se作者: neolith 時間: 2025-3-23 11:26
Fake Run-Time Selection of Template Arguments in C++,mbinations of type arguments at compile time and then select the proper instance at run time by evaluation of some provided conditions. However, for templates with multiple type parameters such a solution may easily result in a branching code bloat. We present a template metaprogramming algorithm ca作者: 有特色 時間: 2025-3-23 15:10
Supporting Compile-Time Debugging and Precise Error Reporting in Meta-programs,rate source code to be put in their place. Such definitions are called meta-programs and their actual evaluation constitutes a compilation stage. As meta-programs are also programs, programmers should be supported in handling compile-time and runtime errors, something introducing challenges to the e作者: BLINK 時間: 2025-3-23 18:16
Identifying a Unifying Mechanism for the Implementation of Concurrency Abstractions on Multi-languave programmers appropriate tools and performance. Instead of supporting all abstractions directly, VMs need a unifying mechanism similar to . for JVMs..Our survey of parallel and concurrent programming concepts identifies concurrency abstractions as the ones benefiting most from support in a VM. Cur作者: Rinne-Test 時間: 2025-3-23 23:16 作者: GLEAN 時間: 2025-3-24 06:08 作者: LATE 時間: 2025-3-24 07:34
Non-interference on UML State-Charts,cies for groups of users. Many of the security problems of implementations could be already spotted at design time if information flow would be a concern in early phases of software development. In this paper we propose a methodology for automatically verifying the interaction of objects whose behav作者: 使害羞 時間: 2025-3-24 12:46 作者: PANEL 時間: 2025-3-24 15:13 作者: 騙子 時間: 2025-3-24 20:42 作者: jabber 時間: 2025-3-25 00:02
Luis Corral,Alberto Sillitti,Giancarlo Succi,Juri Strumpflohner,Jelena Vlasenkoalten. Im Rahmen einer strategischen Betrachtung wird der Kontext des Bundestagswahlkampfes genutzt, um die Auswirkungen der Digitalisierung auf die Wahlkampfkommunikation zu untersuchen. Welchen Einfluss haben Datenanalysen und Social Media auf den Wahlkampf? Welche Lehren lassen sich aus dem Brexi作者: 培養(yǎng) 時間: 2025-3-25 06:48
Anna Derezińska,Marcin Rudnikalten. Im Rahmen einer strategischen Betrachtung wird der Kontext des Bundestagswahlkampfes genutzt, um die Auswirkungen der Digitalisierung auf die Wahlkampfkommunikation zu untersuchen. Welchen Einfluss haben Datenanalysen und Social Media auf den Wahlkampf? Welche Lehren lassen sich aus dem Brexi作者: growth-factor 時間: 2025-3-25 08:53 作者: browbeat 時間: 2025-3-25 12:53
978-3-642-30560-3Springer-Verlag Berlin Heidelberg 2012作者: 全神貫注于 時間: 2025-3-25 19:32 作者: 不感興趣 時間: 2025-3-25 20:13
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/o/image/700244.jpg作者: HATCH 時間: 2025-3-26 03:22 作者: Collision 時間: 2025-3-26 07:38
Integrating Efficient Model Queries in State-of-the-Art EMF Tools, the development and testing of new queries by both IDE and API improvements..We demonstrate how our high performance queries can be easily integrated with other EMF tools using an entirely new case study in which EMF-. is deeply integrated into the EMF modeling infrastructure to facilitate the incr作者: 陶瓷 時間: 2025-3-26 12:14 作者: engender 時間: 2025-3-26 16:32 作者: META 時間: 2025-3-26 16:47
Supporting Compile-Time Debugging and Precise Error Reporting in Meta-programs,program. Thus, typical full-fledged source-level debugging for any particular stage should be facilitated during the compilation process. Existing implementations suffer in both terms, overall providing poor error messages, while lacking the required support to debug meta-programs of any staging dep作者: 甜瓜 時間: 2025-3-26 21:56 作者: 濃縮 時間: 2025-3-27 04:42 作者: 異常 時間: 2025-3-27 05:32
Jean-Marie Favre,Ralf L?mmel,Thomas Schmorleiz,Andrei Varanovich作者: 內(nèi)閣 時間: 2025-3-27 12:26 作者: Musculoskeletal 時間: 2025-3-27 16:18 作者: Amenable 時間: 2025-3-27 19:55 作者: Postulate 時間: 2025-3-28 01:41 作者: 扔掉掐死你 時間: 2025-3-28 02:22
Anna Derezińska,Marcin Rudnikfluss hat Steinmüllers Führungsstil auf den Erfolg und die Agilit?t der Kampagne? Wie kann eine Wahlkampagne organisiert werden und welche Struktur braucht sie, um in Zeiten digitaler Kommunikation wirksam zu sein?.978-3-658-41201-2978-3-658-41202-9Series ISSN 2625-3577 Series E-ISSN 2625-3615 作者: adumbrate 時間: 2025-3-28 09:04
Conference proceedings 2012in Prague, Czech Republic, during May 29-31,2012. The 24 revised full papers presented were carefully reviewed and selected from 77 submissions. The papers discuss all aspects of object technology and related fields and demonstrate practical applications backed up by formal analysis and thorough exp作者: RAGE 時間: 2025-3-28 11:26 作者: 用不完 時間: 2025-3-28 18:27 作者: Melatonin 時間: 2025-3-28 20:33
Identifying a Unifying Mechanism for the Implementation of Concurrency Abstractions on Multi-languar semantics, software transactional memory, agents, CSP, and active objects. While the performance of our prototype confirms the need for VM support, it also shows that the chosen mechanism is appropriate to express a wide range of concurrency abstractions in a unified way.作者: 打火石 時間: 2025-3-29 00:55 作者: 不妥協(xié) 時間: 2025-3-29 05:22 作者: 使人煩燥 時間: 2025-3-29 10:06 作者: blight 時間: 2025-3-29 14:52
Quality Evaluation of Object-Oriented and Standard Mutation Operators Applied to C# Programs,port selective testing, sampling and clustering of mutants, and combining code coverage with mutation testing. We propose an approach to quality evaluation and present experimental results of mutation operators applied to C# programs.作者: 小隔間 時間: 2025-3-29 15:47 作者: burnish 時間: 2025-3-29 19:45
0302-9743 s and demonstrate practical applications backed up by formal analysis and thorough experimental evaluation. In particular, every topic in advanced software technology is adressed the scope of TOOLS.978-3-642-30560-3978-3-642-30561-0Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: photopsia 時間: 2025-3-30 03:17
0302-9743 national Conference on Objects, Models, Components, Patterns, TOOLS Europe 2012, held in Prague, Czech Republic, during May 29-31,2012. The 24 revised full papers presented were carefully reviewed and selected from 77 submissions. The papers discuss all aspects of object technology and related field作者: ANTIC 時間: 2025-3-30 07:56
Poporo: A Formal Methods Tool for Fast-Checking of Social Network Privacy Policies,calculus definition for social networking in B that models social-network content, privacy policies, and social-network friendship relations. This paper presents the implementation and the functionality of our Poporo tool through a running example in the domain of social networking sites.作者: reptile 時間: 2025-3-30 10:13
Non-interference on UML State-Charts,ded this theorem to cope with the particularities of state-charts: the use of variables, guards, actions and hierarchical states and derived results about its compositionality. In order to validate our approach, we report on an implementation of our enhanced unwinding techniques and applications to scenarios from the Smart Metering domain.作者: Jacket 時間: 2025-3-30 14:21
,: A Community Project on Software Technologies and Software Languages,ages as well as software developers, software technologists, and ontologists. The present paper introduces the . Project. In fact, the present paper is effectively a call for contributions to the project and a call for applications of the project in research and education.作者: conscribe 時間: 2025-3-30 16:54 作者: 創(chuàng)新 時間: 2025-3-30 23:29
Fake Run-Time Selection of Template Arguments in C++,emplates with multiple type parameters such a solution may easily result in a branching code bloat. We present a template metaprogramming algorithm called . that allows the user to select the proper template instance at run time with theoretical minimum sustained complexity of the branching code.作者: Malleable 時間: 2025-3-31 04:15 作者: 馬賽克 時間: 2025-3-31 07:09 作者: 伴隨而來 時間: 2025-3-31 11:41
Discerning Humanity,rstood. The previous chapter insisted that the philosophy of the . did not contain the resources to carry out that ethical intention nor to make its ethical results intelligible. Among other things it failed to make sense of our understanding and concern for other people. It is therefore interesting作者: 都相信我的話 時間: 2025-3-31 15:15 作者: 殘廢的火焰 時間: 2025-3-31 18:31 作者: 機密 時間: 2025-4-1 01:04
e-learning Portal@Austriar IT initiatives and IT projects dealing with new possibilities for teaching, learning and the conveyance of knowledge in the areas of education, science and culture. It unites all educational institutions in Austria and has started to offer quality learning contents and multimedia education services.作者: Dorsal 時間: 2025-4-1 02:05
Jan Remund,Daniel Klauser,Stefan C. Mülleraling with the new attributes brought about by this great change will be beyond the scope of traditional economics. Digital tools, such as blockchain, cryptocurrency, and crypt assets as well as distributive ledger systems, require new modes of analysis. First, the evolution of money and complex thi作者: figment 時間: 2025-4-1 06:57
Wen-an Tan,Yun Yang,Zhenhong Lv,Zhonglong Zhengas a slave-based plantation economy. In turn, however, this decision raised the question of what sort of labour system and what groups of workers should stand in place of slavery: how was colonialism in the Caribbean to be imagined without slaves? The capacity to envisage a labour regime to replace 作者: Picks-Disease 時間: 2025-4-1 11:52 作者: 哭得清醒了 時間: 2025-4-1 14:25
acrozooperiphyton were represented primarily by Chironomidae larvae (~75%). The structure and abundance of periphyton may indicate the trophic state of individual aquatic ecosystems, which is important in determining their ecological condition according to the Water Framework Directive.作者: GNAW 時間: 2025-4-1 20:59
Book 2020 für die betriebliche Finanzwirtschaft. Es werden Wege aufgezeigt, wie die Vorteile dieser neuen Technologien in die bestehenden Finanzsysteme integriert werden k?nnen. Zentrale Fragestellungen waren dabei: die rechtliche/aufsichtsrechtliche Einordnung, die Funktionsweise, der Markt sowie die dahint作者: SEVER 時間: 2025-4-2 00:16 作者: 結(jié)構(gòu) 時間: 2025-4-2 04:03
