X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (33) 33
Conference Proceeding (31) 31
Patent (10) 10
Book Chapter (9) 9
Dissertation (4) 4
Newspaper Article (3) 3
Publication (3) 3
Government Document (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
calculating (9) 9
computing (9) 9
counting (9) 9
electric digital data processing (9) 9
physics (9) 9
computer science, theory & methods (8) 8
computer science (7) 7
humans (6) 6
index medicus (6) 6
software engineering (6) 6
genetics (5) 5
java (5) 5
genes (4) 4
logics and meanings of programs (4) 4
slicing (4) 4
algorithms (3) 3
computer science, software engineering (3) 3
concurrency (3) 3
debugging (3) 3
face detection (3) 3
genetic aspects (3) 3
genomes (3) 3
genotype (3) 3
patients (3) 3
polymorphism, single nucleotide (3) 3
program slicing (3) 3
programming languages, compilers, interpreters (3) 3
research (3) 3
security (3) 3
software (3) 3
software testing (3) 3
stroke (3) 3
abridged index medicus (2) 2
anticoagulants (2) 2
application software (2) 2
biology (2) 2
cameras (2) 2
components (2) 2
computer communication networks (2) 2
computer programs (2) 2
computer science - software engineering (2) 2
computer science, artificial intelligence (2) 2
computer systems based on specific computational models (2) 2
conferences (2) 2
control (2) 2
control dependence (2) 2
corba (2) 2
design (2) 2
designs (2) 2
distributed systems (2) 2
dosage and administration (2) 2
drives (2) 2
drug dosages (2) 2
embedded systems (2) 2
engineering, electrical & electronic (2) 2
escape analysis (2) 2
eyes (2) 2
genetic predisposition to disease (2) 2
genotype & phenotype (2) 2
ice (2) 2
indus (2) 2
inhibition (2) 2
isolation (2) 2
kinases (2) 2
languages (2) 2
legislators (2) 2
linkage disequilibrium (2) 2
linux (2) 2
medical (2) 2
medicine (2) 2
memory protection (2) 2
model-checking (2) 2
partial evaluation (2) 2
partial order reduction (2) 2
pattern mining (2) 2
physiological aspects (2) 2
platforms (2) 2
program dependences (2) 2
programming techniques (2) 2
protocols (2) 2
real-time systems (2) 2
research article (2) 2
reverse engineering (2) 2
risk factors (2) 2
robustness (2) 2
safety (2) 2
sewage disposal (2) 2
single nucleotide polymorphisms (2) 2
software engineering/programming and operating systems (2) 2
standards (2) 2
testing (2) 2
verification (2) 2
web services (2) 2
activation (1) 1
aerospace electronics (1) 1
aged (1) 1
aged; antibodies, monoclonal; anticholesteremic agents; cardiovascular diseases; cholesterol, ldl; double-blind method; drug therapy, combination; female; humans; hydroxymethylglutaryl-coa reductase inhibitors; hypercholesterolemia; intention to treat analysis; male; middle aged; medicine (1) 1
aging (1) 1
agricultural and biological sciences (1) 1
algorithm analysis and problem complexity (1) 1
more...
Language Language
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


Empirical Software Engineering, ISSN 1382-3256, 08/2019, pp. 1 - 42
Increasing interest in securing the Android ecosystem has spawned numerous efforts to assist app developers in building secure apps. These efforts have... 
Security | Applications programs | Software engineering
Journal Article
PLoS Genetics, ISSN 1553-7390, 03/2009, Volume 5, Issue 3, pp. e1000433 - e1000433
Journal Article
Science of Computer Programming, ISSN 0167-6423, 06/2012, Volume 77, Issue 6, pp. 743 - 759
Libraries usually impose constraints on how clients should use them. Often these constraints are not well-documented. In this paper, we address the problem of... 
Specification mining | Quantification | Reverse engineering | Dynamic analysis | Temporal rules | COMPUTER SCIENCE, SOFTWARE ENGINEERING | Algorithms
Journal Article
International Journal on Software Tools for Technology Transfer, ISSN 1433-2779, 10/2007, Volume 9, Issue 5, pp. 489 - 504
Program slicing is a program analysis and transformation technique that has been successfully used in a wide range of applications including program... 
Program slicing | Software Engineering | Program dependences | Indus | Kaveri | Computer Science | Software Engineering/Programming and Operating Systems | Theory of Computation | Concurrent Java | Java | User interface | Technology transfer | Software utilities | Debugging | Programming languages | Software engineering
Journal Article
The New England Journal of Medicine, ISSN 0028-4793, 04/2015, Volume 372, Issue 16, pp. 1489 - 1499
Journal Article
PLoS ONE, ISSN 1932-6203, 2011, Volume 6, Issue 4, pp. e19011 - e19011
Journal Article
ACM Transactions on Programming Languages and Systems (TOPLAS), ISSN 0164-0925, 08/2007, Volume 29, Issue 5, pp. 27 - es
The notion of control dependence underlies many program analysis and transformation techniques. Despite being widely used, existing definitions and approaches... 
order dependence | bisimulation | Nontermination | Indus | program slicing | control dependence | Control dependence | Program slicing | Order dependence | Bisimulation | COMPUTER SCIENCE, SOFTWARE ENGINEERING | algorithms | languages | theory | Programming management (Computers) | Methods | Algorithms
Journal Article
2015 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), ISSN 1094-687X, 08/2015, Volume 2015-, pp. 1711 - 1716
Conference Proceeding
Pattern Recognition, ISSN 0031-3203, 2006, Volume 39, Issue 9, pp. 1633 - 1648
Sign language communication includes not only lexical sign gestures but also grammatical processes which represent inflections through systematic variations in... 
Sign language recognition | Signer adaptation | Independent channels | Classifier combination | Bayesian networks | Gesture recognition | gesture recognition | classifier combination | signer adaptation | sign language recognition | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | independent channels | ENGINEERING, ELECTRICAL & ELECTRONIC
Journal Article
Pattern Recognition, ISSN 0031-3203, 2002, Volume 35, Issue 6, pp. 1259 - 1273
Journal Article
Proceedings of the 25th International Conference on software engineering, ISSN 0270-5257, 05/2003, pp. 160 - 173
The use of component models such as Enterprise Java Beans and the CORBA Component Model (CCM) in application development is expanding rapidly. Even in... 
Real time systems | Java | Assembly systems | Object oriented modeling | Mission critical systems | Buildings | Aerospace electronics | Safety | Application software | Middleware
Conference Proceeding
Logical Methods in Computer Science, ISSN 1860-5974, 2011, Volume 7, Issue 3
We are interested in identifying and enforcing the isolation requirements of a concurrent program, i.e., concurrency control that ensures that the program... 
Program synthesis | Concurrency control | program synthesis | COMPUTER SCIENCE, THEORY & METHODS | LOGIC | concurrency control
Journal Article
Companion Proceedings of the 36th International Conference on software engineering, ISSN 0270-5257, 05/2014, Volume 31-, pp. 205 - 214
Reliability of software depends not only on intrinsic factors such as its code properties, but also on extrinsic factors-that is, the properties of the... 
Windows
Conference Proceeding
Lecture Notes in Computer Science, ISSN 0302-9743, 2005, Volume 3442, pp. 269 - 272
This tool paper describes a modular program slicer for Java built using the Indus program analysis framework along with it's Eclipse-based user interface... 
COMPUTER SCIENCE, THEORY & METHODS
Conference Proceeding
02/2019
UX (user experience) designers visually capture the UX of an app via storyboards. This method is also used in Android app development to conceptualize and... 
Journal Article
Diabetes, ISSN 0012-1797, 11/2008, Volume 57, Issue 11, p. 3161
Population-Specific Risk of Type 2 Diabetes Conferred by HNF4A P2 Promoter Variants A Lesson for Replication Studies Inês Barroso 1 , Jian’an Luan 2 , Eleanor... 
Journal Article