|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1355 occurrences of 878 keywords
|
|
|
Results
Found 1550 publication records. Showing 1550 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
8 | Miryung Kim, David Notkin |
Discovering and representing systematic code changes. |
ICSE |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Gordon D. Plotkin |
Adequacy for Infinitary Algebraic Effects (Abstract). |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Martin Nordio, Cristiano Calcagno, Peter Müller 0001, Bertrand Meyer 0001 |
A Sound and Complete Program Logic for Eiffel. |
TOOLS (47) |
2009 |
DBLP DOI BibTeX RDF |
operational semantics, Software verification, Eiffel, program proofs |
8 | Jörg Endrullis, Herman Geuvers, Hans Zantema |
Degrees of Undecidability in Term Rewriting. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Yale N. Patt |
Multi-core demands multi-interfaces. |
PPoPP |
2009 |
DBLP DOI BibTeX RDF |
performance, design, multicore, software interface |
8 | Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
Reasoning about Typicality with Low Complexity Description Logics: The Logic EL+^T. |
AI*IA |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Young-Woo Kwon 0001, Eli Tilevich, Taweesup Apiwattanapong |
DR-OSGi: Hardening Distributed Components with Network Volatility Resiliency. |
Middleware |
2009 |
DBLP DOI BibTeX RDF |
Distributed Component Architectures, Network Volatility, Aspect Oriented Programming, OSGi, R-OSGi |
8 | Markus Kalb, Peter Dadam |
Unterstützung von Periodizität in Informationssystemen - Herausforderungen und Lösungsansätze. |
Inform. Forsch. Entwickl. |
2008 |
DBLP DOI BibTeX RDF |
Temporal Granularities, Periodicity, Temporal Queries, Temporal Data Modells |
8 | Chris Hinds |
The case against a positivist philosophy of requirements engineering. |
Requir. Eng. |
2008 |
DBLP DOI BibTeX RDF |
Positivism, Scientism, Ethnography, Ethics, Realism, Philosophy |
8 | Jeroen Schillewaert |
A characterization of quadrics by intersection numbers. |
Des. Codes Cryptogr. |
2008 |
DBLP DOI BibTeX RDF |
AMS Classifications 51E20 |
8 | Jianxing Yin, Jie Yan, Chengmin Wang |
Generalized balanced tournament designs and related codes. |
Des. Codes Cryptogr. |
2008 |
DBLP DOI BibTeX RDF |
AMS Classifications 05B05, 94B25 |
8 | Sudipto Guha, Piotr Indyk, Andrew McGregor 0001 |
Sketching information divergences. |
Mach. Learn. |
2008 |
DBLP DOI BibTeX RDF |
Information divergences, Data stream model, Approximation algorithms, Sketches, Communication complexity |
8 | Martin David Adams, Tang Fan, Wijerupage Sardha Wijesoma, Chhay Sok |
Convergent Smoothing and Segmentation of Noisy Range Data in Multiscale Space. |
IEEE Trans. Robotics |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Mahdi Fazeli, Reza Farivar 0003, Seyed Ghassem Miremadi |
Error Detection Enhancement in PowerPC Architecture-based Embedded Processors. |
J. Electron. Test. |
2008 |
DBLP DOI BibTeX RDF |
Physical fault injection, Power supply disturbances, Concurrent error detection, Control flow checking |
8 | Russell John Higgs |
Nice Error Bases and Sylow Subgroups. |
IEEE Trans. Inf. Theory |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Fabio Fassetti, Gianluigi Greco, Giorgio Terracina |
Mining Loosely Structured Motifs from Biological Data. |
IEEE Trans. Knowl. Data Eng. |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Panagiotis Manolios, Sudarshan K. Srinivasan |
Automatic verification of safety and liveness for pipelined machines using WEB refinement. |
ACM Trans. Design Autom. Electr. Syst. |
2008 |
DBLP DOI BibTeX RDF |
flushing, pipelined machines, verification, refinement, SAT, bisimulation, commitment, liveness, Refinement maps |
8 | Kamalesh Kumar Sharma, Shiv Dutt Joshi |
Uncertainty Principle for Real Signals in the Linear Canonical Transform Domains. |
IEEE Trans. Signal Process. |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Guido Boella, Leendert W. N. van der Torre |
Institutions with a hierarchy of authorities in distributed dynamic environments. |
Artif. Intell. Law |
2008 |
DBLP DOI BibTeX RDF |
Institutions, Permissions, Normative systems |
8 | Peter Jackson, Yanbin Chen, Ramin Farhangi, Xiang Li, David A. Pilo Mansion, Evan Markel, Ryan Morris, Len Podgurny, Al Randall, Paul Hofmann |
IT Strategies for Increased Rail Employee Satisfaction. |
IEEE Intell. Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Westley Weimer, George C. Necula |
Exceptional situations and program reliability. |
ACM Trans. Program. Lang. Syst. |
2008 |
DBLP DOI BibTeX RDF |
compensating transactions, linear sagas, linear types, resource management, Error handling |
8 | Suad Alagic, Mark Royer |
Genericity in Java: persistent and database systems implications. |
VLDB J. |
2008 |
DBLP DOI BibTeX RDF |
Java, Reflection, Transactions, Object-oriented databases, Type systems, Virtual platforms, Object persistence |
8 | Kazuyoshi Yoshii, Masataka Goto, Kazuhiro Komatani, Tetsuya Ogata, Hiroshi G. Okuno |
An Efficient Hybrid Music Recommender System Using an Incrementally Trainable Probabilistic Generative Model. |
IEEE Trans. Speech Audio Process. |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer |
Model-Based Testing of Thin-Client Web Applications and Navigation Input. |
PADL |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Bruno Pagano, Olivier Andrieu, Benjamin Canou, Emmanuel Chailloux, Jean-Louis Colaço, Thomas Moniot, Philippe Wang |
Certified Development Tools Implementation in Objective Caml. |
PADL |
2008 |
DBLP DOI BibTeX RDF |
Tests measurement, Civil avionics, Functional programming, Code coverage, Objective Caml |
8 | Jan Schat |
Calculating the fault coverage for dual neighboring faults using single stuck-at fault patterns. |
DDECS |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Jaejin Lee, Junghyun Kim, Choonki Jang, Seungkyun Kim, Bernhard Egger 0002, Kwangsub Kim, Sangyong Han |
FaCSim: a fast and cycle-accurate architecture simulator for embedded systems. |
LCTES |
2008 |
DBLP DOI BibTeX RDF |
virtual prototyping, architecture simulator, full-system simulation, simulator parallelization, cycle-accurate simulation |
8 | Liviu Iftode, Stephen Smaldone, Mario Gerla, James A. Misener |
Active Highways (Position Paper). |
PIMRC |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Christian Janiesch, Kathrin Fleischmann, Alexander Dreiling |
Extending Services Delivery with Lightweight Composition. |
WISE Workshops |
2008 |
DBLP DOI BibTeX RDF |
lightweight composition, Service delivery platform, enterprise mashup, internet of services, service ecosystems |
8 | Khaled Gaaloul, Andreas Schaad, Ulrich Flegel, François Charoy |
A Secure Task Delegation Model for Workflows. |
SECURWARE |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Leman Akoglu, Mary McGlohon, Christos Faloutsos |
RTM: Laws and a Recursive Generator for Weighted Time-Evolving Graphs. |
ICDM |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Ulrich W. Kulisch |
Complete Interval Arithmetic and Its Implementation on the Computer. |
Numerical Validation in Current Hardware Architectures |
2008 |
DBLP DOI BibTeX RDF |
arithmetic standards, computer arithmetic, interval arithmetic, floating-point arithmetic |
8 | Branimir Lambov |
Interval Arithmetic Using SSE-2. |
Reliable Implementation of Real Number Algorithms |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Aravind Srinivasan |
Improved algorithmic versions of the Lovász Local Lemma. |
SODA |
2008 |
DBLP BibTeX RDF |
|
8 | Alberto Portilla, Tan Hanh, Javier-Alfonso Espinosa-Oviedo |
Building reliable mobile services based applications. |
ICDE Workshops |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Toshio Suganuma, Toshiaki Yasue, Tamiya Onodera, Toshio Nakatani |
Performance pitfalls in large-scale java applications translated from COBOL. |
OOPSLA Companion |
2008 |
DBLP DOI BibTeX RDF |
COBOL to java translations, legacy migration, object allocation |
8 | Juan A. Garay |
Partially Connected Networks: Information Theoretically Secure Protocols and Open Problems (Invited Talk). |
ICITS |
2008 |
DBLP DOI BibTeX RDF |
|
8 | David A. Cock, Gerwin Klein, Thomas Sewell |
Secure Microkernels, State Monads and Scalable Refinement. |
TPHOLs |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Isidro Gonzalez, Marco Galluzzi, Alexander V. Veidenbaum, Marco Antonio Ramírez, Adrián Cristal, Mateo Valero |
A distributed processor state management architecture for large-window processors. |
MICRO |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Kurt Stenzel, Holger Grandy, Wolfgang Reif |
Verification of Java Programs with Generics. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Brian E. Aydemir, Arthur Charguéraud, Benjamin C. Pierce, Randy Pollack, Stephanie Weirich |
Engineering formal metatheory. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
locally nameless, binding, coq |
8 | Troy Lee, Rajat Mittal 0001 |
Product Theorems Via Semidefinite Programming. |
ICALP (1) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Shaogang Wang, Dan Wu, Zhengbin Pang, Xiaodong Yang |
Software Assisted Transact Cache to Support Efficient Unbounded Transactional Memory. |
HPCC |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Allan Raundahl Gregersen, Bo Nørregaard Jørgensen |
Module Reload through Dynamic Update - The Case of NetBeans. |
CSMR |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Igor Walukiewicz |
Finding Your Way in a Forest: On Different Types of Trees and Their Properties. |
FoSSaCS |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Nicola Capuano, Matteo Gaeta, Sergio Miranda, Francesco Orciuoli, Pierluigi Ritrovato |
LIA: An Intelligent Advisor for e-Learning. |
WSKS (1) |
2008 |
DBLP DOI BibTeX RDF |
e-Learning, Knowledge Representation, Planning, ITS |
8 | Andres Medina, Stephan Bohacek |
The impact of delayed topology information in proactive routing protocols for MANETS. |
PE-WASUN |
2008 |
DBLP DOI BibTeX RDF |
proactive routing algorithms, routing loops, manets |
8 | Alberto Portilla, Tan Hanh, Javier-Alfonso Espinosa-Oviedo, Christine Collet, Genoveva Vargas-Solar |
Construire des applications fiables à base de services mobiles. |
UbiMob |
2008 |
DBLP DOI BibTeX RDF |
application à base de services, comportement transactionnel, coordination de services, propriétés non fonctionnelles |
8 | Lodewijk Bonebakker |
Comparison of the SPEC CPU Benchmarks with 499 Other Workloads Using Hardware Counters. |
SIPEW |
2008 |
DBLP DOI BibTeX RDF |
SPEC CPU2000, SPEC CPU2006, benchmark, workloads, workload characterization, comparison |
8 | Kazuyo Narita, Hiroyuki Kitagawa |
Outlier Detection for Transaction Databases Using Association Rules. |
WAIM |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Francisco Javier Díez 0002, Iñaki Maurtua |
Dynamic Exception Handling Based on Web Services and OPC XML-DA. |
ICWS |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Katsunori Oyama, Hojun Jaygarl, Jinchun Xia, Carl K. Chang, Atsushi Takeuchi, Hiroshi Fujimoto |
A Human-Machine Dimensional Inference Ontology that Weaves Human Intentions and Requirements of Context Awareness Systems. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
Ontology, Context Awareness, Human Intention, BDI Logic |
8 | Liliana Ardissono, Stefano Bocconi, Luca Console, Roberto Furnari, Anna Goy, Giovanna Petrone, Claudia Picardi, Marino Segnan, Daniele Theseider Dupré |
Enhancing Web Service Composition by Means of Diagnosis. |
Business Process Management Workshops |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Haizhi Ye, Huiqiang Wang, Ying Liang |
An Optimization Approach to Restart Tree Based on Mean Failure Frequencies. |
WKDD |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Aleksandar Nanevski, Greg Morrisett, Avraham Shinnar, Paul Govereau, Lars Birkedal |
Ynot: dependent types for imperative programs. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
type theory, monads, Hoare logic, separation logic |
8 | Christophe Dony, Chouki Tibermacine, Christelle Urtado, Sylvain Vauttier |
Specification of an exception handling system for a replicated agent environment. |
Workshop on Exception Handling |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Christian Hammer 0001, Rüdiger Schaade, Gregor Snelting |
Static path conditions for Java. |
PLAS |
2008 |
DBLP DOI BibTeX RDF |
java, program slicing, information flow control, dynamic dispatch, path condition |
8 | Daniel Skarin, Johan Karlsson |
Software Implemented Detection and Recovery of Soft Errors in a Brake-by-Wire System. |
EDCC |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Robertas Damasevicius |
Structural Analysis of Promoter Sequences Using Grammar Inference and Support Vector Machine. |
KES (1) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Niels Raabjerg Mathiasen, Susanne Bødker |
Threats or threads: from usable security to secure experience? |
NordiCHI |
2008 |
DBLP DOI BibTeX RDF |
user story collection, human-computer interaction, usability, user experience, experience, usable security, user testing |
8 | Mingzhong Wang, Kotagiri Ramamohanarao, Jinjun Chen |
Robust Scheduling and Runtime Adaptation of Multi-agent Plan Execution. |
IAT |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Eitan Farchi |
Pitfalls in teaching development and testing of concurrent programs and how to overcome them. |
PADTAD |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Davide Bresolin, Angelo Montanari, Pietro Sala |
An optimal tableau for Right Propositional Neighborhood Logic over Trees. |
TIME |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Romans Kasperovics, Michael H. Böhlen, Johann Gamper |
Representing Public Transport Schedules as Repeating Trips. |
TIME |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Bruno Crémilleux, Arnaud Soulet |
Discovering Knowledge from Local Patterns with Global Constraints. |
ICCSA (2) |
2008 |
DBLP DOI BibTeX RDF |
local patterns, constraint-based paradigm, top-k patterns, data mining, global constraints |
8 | Jindian Su, Shanshan Yu, Heqing Guo |
Dynamic Substitutability Analysis of Web Service Composition via Extended Pi-Calculus. |
EUC (1) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Stavros Garzonis, Chris Bevan, Eamonn O'Neill |
Mobile service audio notifications: intuitive semantics and noises. |
OZCHI |
2008 |
DBLP DOI BibTeX RDF |
intuitiveness of audio notifications, mobile audio notifications, mobile services categorisation, context awareness, earcons, auditory icons |
8 | Massimo Strano, Carlos Molina-Jiménez, Santosh K. Shrivastava |
A Rule-Based Notation to Specify Executable Electronic Contracts. |
RuleML |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Martin Nordio, Peter Müller 0001, Bertrand Meyer 0001 |
Proof-Transforming Compilation of Eiffel Programs. |
TOOLS (46) |
2008 |
DBLP DOI BibTeX RDF |
proof-transforming compiler, CIL, Software verification, Proof-Carrying Code, Eiffel, program proofs |
8 | Ibrahim Cakirlar, Erdem Eser Ekinci, Oguz Dikenelli |
Exception Handling in Goal-Oriented Multi-Agent Systems. |
ESAW |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Wei Ren, Gang Chen 0002, Haifeng Shen, Zhonghua Yang, Jing-Bing Zhang, Chor Ping Low, David Chen 0002, Chengzheng Sun |
Dynamic Self-Healing for Service Flows with Semantic Web Services. |
Web Intelligence |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Oleg Kiselyov, Chung-chieh Shan |
Lightweight monadic regions. |
Haskell |
2008 |
DBLP DOI BibTeX RDF |
resource management, type systems, subtyping, monads, regions, type classes, parametric polymorphism, effect systems |
8 | Daniel J. Bernstein, Tanja Lange 0001, Reza Rezaeian Farashahi |
Binary Edwards Curves. |
CHES |
2008 |
DBLP DOI BibTeX RDF |
Edwards curves, complete addition law, Montgomery ladder, countermeasures against side-channel attacks, Elliptic curves, binary fields |
8 | Alex Kinneer, Gregg Rothermel |
Assessing the usefulness of type inference algorithms in representing Java control flow to support software maintenance tasks. |
ICSM |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Alexander Lux, Heiko Mantel |
Who Can Declassify?. |
Formal Aspects in Security and Trust |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Christos Kareliotis, Costas Vassilakis, Stathis Rouvas, Panagiotis Georgiadis 0001 |
Exception resolution for BPEL processes: a middleware-based framework and performance evaluation. |
iiWAS |
2008 |
DBLP DOI BibTeX RDF |
quality of service (QoS), web services, scalability, middleware, exception handling, performance metrics |
8 | Kazuyo Narita, Hiroyuki Kitagawa |
Detecting Outliers in Categorical Record Databases Based on Attribute Associations. |
APWeb |
2008 |
DBLP DOI BibTeX RDF |
categorical record data, association rules, outlier detection |
8 | Haiyang Sun, Jian Yang 0001 |
Enforcing Business Collaboration Consistency in Business Transaction Net. |
CEC/EEE |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Tim Mattson, Michael Wrinn |
Parallel programming: can we PLEASE get it right this time? |
DAC |
2008 |
DBLP DOI BibTeX RDF |
parallel computing, design patterns |
8 | Ahmed Abdallah, Wayne H. Wolf, Graham R. Hellestrand |
Statistical characterization of execution time through simulation. |
WISES |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Shanliang Jiang, Stuart Clements |
Java Remote Job Execution System. |
CISIS |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Sachin Kamboj, Keith S. Decker |
Exploring Robustness in the Context of Organizational Self-design. |
COIN@AAMAS&AAAI |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Pramod G. Joisha |
A principled approach to nondeferred reference-counting garbage collection. |
VEE |
2008 |
DBLP DOI BibTeX RDF |
static analysis, instrumentation, reference counting |
8 | Justin Dauwels, François B. Vialatte, Theophane Weber, Andrzej Cichocki |
On Similarity Measures for Spike Trains. |
ICONIP (1) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | David M. Howard 0002, Mitchel T. Keller, Stephen J. Young |
A Characterization of Partially Ordered Sets with Linear Discrepancy Equal to 2. |
Order |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 06A07 |
8 | Laurent Fousse, Guillaume Hanrot, Vincent Lefèvre, Patrick Pélissier, Paul Zimmermann |
MPFR: A multiple-precision binary floating-point library with correct rounding. |
ACM Trans. Math. Softw. |
2007 |
DBLP DOI BibTeX RDF |
correct rounding, floating-point arithmetic, elementary function, Multiple-precision arithmetic, IEEE 754 standard, portable software |
8 | Dahlia Malkhi, Douglas B. Terry |
Concise version vectors in WinFS. |
Distributed Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
8 | Wim Martens, Frank Neven, Thomas Schwentick |
Simple off the shelf abstractions for XML schema. |
SIGMOD Rec. |
2007 |
DBLP DOI BibTeX RDF |
|
8 | Michael Dewar, Lucia Moura, Daniel Panario, Brett Stevens, Qiang Wang 0012 |
Division of trinomials by pentanomials and orthogonal arrays. |
Des. Codes Cryptogr. |
2007 |
DBLP DOI BibTeX RDF |
11T06, AMS Classification 94A55, 05B15 |
8 | Jason Cong, Kirill Minkovich |
Optimality Study of Logic Synthesis for LUT-Based FPGAs. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2007 |
DBLP DOI BibTeX RDF |
|
8 | Xin Chen 0034, Haining Wang, Shansi Ren, Xiaodong Zhang 0001 |
Maintaining Strong Cache Consistency for the Domain Name System. |
IEEE Trans. Knowl. Data Eng. |
2007 |
DBLP DOI BibTeX RDF |
middleware, cache consistency, Domain name system, lease |
8 | Birsen Sirkeci-Mergen, Anna Scaglione |
Randomized Space-Time Coding for Distributed Cooperative Communication. |
IEEE Trans. Signal Process. |
2007 |
DBLP DOI BibTeX RDF |
|
8 | Pratik K. Biswas |
Autonomic Software Release Management for Communications Networks. |
Integrated Network Management |
2007 |
DBLP DOI BibTeX RDF |
|
8 | Benjamin Grégoire, Jorge Luis Sacchini |
Combining a Verification Condition Generator for a Bytecode Language with Static Analyses. |
TGC |
2007 |
DBLP DOI BibTeX RDF |
|
8 | Binoy Ravindran, Edward Curley, Jonathan Stephen Anderson, E. Douglas Jensen |
On Best-Effort Real-Time Assurances for Recovering from Distributable Thread Failures in Distributed Real-Time Systems. |
ISORC |
2007 |
DBLP DOI BibTeX RDF |
|
8 | Marcello Cinque, Domenico Cotroneo, Zbigniew Kalbarczyk, Ravishankar K. Iyer |
How Do Mobile Phones Fail? A Failure Data Analysis of Symbian OS Smart Phones. |
DSN |
2007 |
DBLP DOI BibTeX RDF |
|
8 | Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
Preferential Description Logics. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
8 | Dejvuth Suwimonteerabuth, Felix Berger, Stefan Schwoon, Javier Esparza |
jMoped: A Test Environment for Java Programs. |
CAV |
2007 |
DBLP DOI BibTeX RDF |
|
8 | Michael A. Heroux, James M. Willenbring, Michael N. Phenow |
Improving the Development Process for CSE Software. |
PDP |
2007 |
DBLP DOI BibTeX RDF |
|
8 | Jeffrey Fischer, Rupak Majumdar, Todd D. Millstein |
Tasks: language support for event-driven programming. |
PEPM |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #901 - #1000 of 1550 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|