• Suche: "ACM: D.: Software"

Treffer 141 - 160 von 2.283

141

Djnn/Smala: A Conceptual Framework and a Language for Interaction-Oriented Programming
Magnaudet, Mathieu ; Chatty, Stéphane ; Conversy, Stéphane ; et al.
Proceedings of the ACM on Human-Computer Interaction. :1-27

Reactive Programming Interactive Software Smala GUI Programming Djnn ACM: D.: Software …
Zeitschrift
Zu den Favoriten
142

Alleviating Patch Overfitting with Automatic Test Generation: A Study of Feasibility and Effectiveness for the Nopol Repair System
Yu, Zhongxing ; Martinez, Matias ; Danglot, Benjamin ; et al.
Empirical Software Engineering. :33-67

Automatic test case gene... Program repair Patch overfitting Synthesis-based repair ACM: D.: Software D.2: SOFTWARE ENGINEERIN... …
Zeitschrift
Zu den Favoriten
143

Compact deterministic self-stabilizing leader election on a ring: the exponential advantage of being talkative
Blin, Lélia ; Tixeuil, Sébastien ; Université d'Évry-Val-d'Essonne (UEVE) ; et al.
Distributed Computing. 31(2):139-166

ACM: C.: Computer System... C.2: COMPUTER-COMMUNICAT... ACM: D.: Software D.1: PROGRAMMING TECHNIQ... ACM: F.: Theory of Compu... F.2: ANALYSIS OF ALGORIT... …
Zeitschrift
Zu den Favoriten
144

Visual Program Manipulation in the Polyhedral Model
Zinenko, Oleksandr ; Huot, Stéphane ; Bastoul, Cédric ; et al.
ACM Transactions on Architecture and Code Optimization. 15(1):1-25

Polyhedral model Direct manipulation ACM: H.: Information Sys... H.5: INFORMATION INTERFA... ACM: D.: Software D.3: PROGRAMMING LANGUAG... …
Zeitschrift
Zu den Favoriten
145

Just-Right Consistency: reconciling availability and safety
La juste cohérence pour reconcilier disponibilité et sûreté
Shapiro, Marc ; Bieniusa, Annette ; Preguiça, Nuno ; et al.
[Research Report] RR-9145. :1-15

Distributed systems Iinvariants Distributed programming CAP Theorem Consistency Availability …
Report
Zu den Favoriten
146

A Principled Approach to Ornamentation in ML
Williams, Thomas ; Rémy, Didier ; Langages de programmation, types, compilation et preuves (GALLIUM) ; et al.
Proceedings of the ACM on Programming Languages. :1-30

Refactoring ML Ornaments Logical Relations Dependent Types Functional programming …
Zeitschrift
Zu den Favoriten
147

C in CS1: Snags and Viable Solution
Naveed, Shumail ; Sarim, Muhammad ; Nadeem, Adnan ; et al.
Mehran University Research Journal of Engineering and Technology. 37(01):1-14

Introductory Programming... Doodles Pre-Programming Teaching Methodology Pair Programming Corresponding Author …
Zeitschrift
Zu den Favoriten
148

Continuous vs. Discrete Asynchronous Moves: a Certified Approach for Mobile Robots
Balabonski, Thibaut ; Courtieu, Pierre ; Pelle, Robin ; et al.
[Research Report] Sorbonne Université. :1-12

ACM: C.: Computer System... C.2: COMPUTER-COMMUNICAT... ACM: D.: Software D.1: PROGRAMMING TECHNIQ... ACM: F.: Theory of Compu... F.2: ANALYSIS OF ALGORIT... …
Report
Zu den Favoriten
149

Migrating Large Object-Oriented Applications into Component-Based Ones
Migrating Large Object-Oriented Applications into Component-Based Ones: Instantiation and Inheritance Transformation
Al-Shara, Zakarea ; Seriai, Abdelhak-Djamel ; Tibermacine, Chouki ; et al.
GPCE: Generative Programming: Concepts and Experiences. :55-64

Pittsburgh, United State... OSGi Component Object Code Transformation Refactoring …
Konferenz
Zu den Favoriten
150

Several Types of Types in Programming Languages
Martini, Simone ; Foundations of Component-based Ubiquitous Systems (FOCUS) ; Centre Inria d'Université Côte d'Azur ; et al.
3rd International Conference on History and Philosophy of Computing (HaPoC). :216-227

Pisa, Italy Abstraction mechanisms History of computing Programming languages Types ACM: D.: Software …
Konferenz
Zu den Favoriten
151

Blending Process Assessment and Employees Competencies Assessment in Very Small Entities
Ribaud, Vincent ; O 'Connor, Rory, V ; Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC) ; et al.
22nd European Conference on Systems. :206-219

Ankara, Turkey ACM: D.: Software D.2: SOFTWARE ENGINEERIN... [INFO.INFO-SE]Computer S... Software Engineering [cs...
Konferenz
Zu den Favoriten
152

Relational and graph queries over a transition system
Boudaoud, Siham Rim ; Es-Salhi, Khaoula ; Ribaud, Vincent ; et al.
International Conference on Computer as a Tool (EUROCON 2015). :1-6

Salamanque, Spain Model-checking Meta-model Context Aware verificati... ACM: D.: Software D.2: SOFTWARE ENGINEERIN... …
Konferenz
Zu den Favoriten
153

Automatic Translation of Architecture Constraint Specifications into Components
Kallel, Sahar ; Tramoni, Bastien ; Tibermacine, Chouki ; et al.
ECSA 2015 - 9th European Conference on Software Architecture. :322-338

Dubrovnik, Croatia Architecture Constraint Reusability Component OCL Software Architecture …
Konferenz
Zu den Favoriten
154

KriQL: a query language for the diagnosis of transition systems
Es-Salhi, Khaoula ; Boudaoud, Siham Rim ; Teodorov, Ciprian ; et al.
15th International Workshop on Automated Verification of Critical Systems - AVOCS'15. :151-165

Edimburgh, United Kingdo... query language transition system trace ACM: D.: Software D.2: SOFTWARE ENGINEERIN... …
Konferenz
Zu den Favoriten
155

Verification of Population Protocols
Esparza, Javier ; Ganty, Pierre ; Leroux, Jérôme ; et al.
26th International Conference on Concurrency Theory. :470-482

Madrid, Spain ACM: C.: Computer System... C.2: COMPUTER-COMMUNICAT... C.2.2: Network Protocols ACM: D.: Software D.2: SOFTWARE ENGINEERIN... …
Konferenz
Zu den Favoriten
156

Automating the Verification of Realtime Observers using Probes and the Modal mu-calculus
Dal Zilio, Silvano ; Berthomieu, Bernard ; Équipe Verification de Systèmes Temporisés Critiques (LAAS-VERTICS) ; et al.
1st International Conference on Theoretical Computer Science (TTCS). :90-104

Teheran, Iran time Petri nets real time model checking ACM: D.: Software D.2: SOFTWARE ENGINEERIN... D.2.4: Software …
Konferenz
Zu den Favoriten
157

ProDEVS : an Event-Driven Modeling and Simulation Tool for Hybrid Systems using State Machines
Vu, Le-Hung ; Foures, Damien ; Albert, Vincent ; et al.
Simutools 2015 Eighth EAI International Conference on Simulation Tools and Techniques. :29-37

ATHENES, Greece Event-driven simulation Hybrid systems DEVS State machines ACM: D.: Software …
Konferenz
Zu den Favoriten
158

Minimal Synchrony for Byzantine Consensus
Bouzid, Zohir ; Mostéfaoui, Achour ; Raynal, Michel ; et al.
Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing (PODC 2015). :461-470

Donostia-San Sebastián,... Adopt-commit Feasi-bility condition Asynchronous message-pas... Byzantine process Consensus …
Konferenz
Zu den Favoriten
159

Regression-Based Bootstrapping of Web Service Reputation Measurement
Tibermacine, Okba ; Tibermacine, Chouki ; Cherif, Foudil ; et al.
ICWS: International Conference on Web Services. :377-384

New York, United States Reputation Measurement Quality of Service Regression Model Web service ACM: D.: Software …
Konferenz
Zu den Favoriten
160

Indefinite waitings in MIRELA systems
Arcile, Johan ; Didier, Jean-Yves ; Klaudel, Hanna ; et al.
4th International Workshop on Engineering Safety and Security Systems (ESSS 2015). :5-18

Oslo, Norway mixed reality timed automata deadlocks starvation ACM: D.: Software …
Konferenz
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter