• Daneshyari
  • Topics
    • Physical Sciences and Engineering
      Life Sciences
      Health Sciences
      Social Sciences and Humanities
Daneshyari Software Journas Latest Articles

Software Research Articles

Grammar-based model transformations: Definition, execution, and quality properties
Fulltext Access 23 Pages 2015
Growing up with stability: How open-source relational databases evolve
Fulltext Access 23 Pages 2015
Combining deep and shallow embedding of domain-specific languages
Fulltext Access 23 Pages 2015
Large-scale machine learning based on functional networks for biomedical big data with high performance computing platforms
Fulltext Access 24 Pages 2015
Implementability of requirements in the four-variable model
Fulltext Access 24 Pages 2015
Generating optimized configurable business process models in scenarios subject to uncertainty
Fulltext Access 24 Pages 2015
Grammar Zoo: A corpus of experimental grammarware
Fulltext Access 24 Pages 2015
Dynamic service migration and workload scheduling in edge-clouds
Fulltext Access 24 Pages 2015
Interpolation approximations for the steady-state distribution in multi-class resource-sharing systems
Fulltext Access 24 Pages 2015
Optimized distributed implementation of multiparty interactions with Restriction
Fulltext Access 24 Pages 2015
Information privacy policies: The effects of policy characteristics and online experience
Fulltext Access 24 Pages 2015
Cost, benefits and quality of software development documentation: A systematic mapping
Fulltext Access 24 Pages 2015
Equilibrium balking strategies in renewal input batch arrival queues with multiple and single working vacation
Fulltext Access 24 Pages 2015
A scientific evaluation of the misuse case diagrams visual syntax
Fulltext Access 24 Pages 2015
An overview of semantic search evaluation initiatives
Fulltext Access 24 Pages 2015
Completeness results for omega-regular algebras
Fulltext Access 24 Pages 2015
Reversible session-based pi-calculus
Fulltext Access 24 Pages 2015
Dealing with change in process choreographies: Design and implementation of propagation algorithms
Fulltext Access 24 Pages 2015
Detecting approximate clones in business process model repositories
Fulltext Access 24 Pages 2015
System components of a general theory of software engineering
Fulltext Access 24 Pages 2015
Symbolic execution based on language transformation
Fulltext Access 24 Pages 2015
Model repair — aligning process models to reality
Fulltext Access 24 Pages 2015
Evaluating and comparing language workbenches: Existing results and benchmarks for the future
Fulltext Access 24 Pages 2015
Fully abstract trace semantics for protected module architectures
Fulltext Access 24 Pages 2015
How have we evaluated software pattern application? A systematic mapping study of research design practices
Fulltext Access 25 Pages 2015
A framework for exploring unifying theories of empirical software engineering
Fulltext Access 25 Pages 2015
An optimization-based adaptive resource management framework for economic Grids: A switching mechanism
Fulltext Access 25 Pages 2015
Replicating the geographical cloud: Provisioning omnipresence, omniscience and omnipotence
Fulltext Access 25 Pages 2015
Choreographies in the wild
Fulltext Access 25 Pages 2015
Managing the evolution of a software architecture at minimal cost under performance and reliability constraints
Fulltext Access 25 Pages 2015
An investigation into the best practices for the successful design and implementation of lightweight software process assessment methods: A systematic literature review
Fulltext Access 25 Pages 2015
Parallel gesture recognition with soft real-time guarantees
Fulltext Access 25 Pages 2015
Test data generation with a Kalman filter-based adaptive genetic algorithm
Fulltext Access 25 Pages 2015
Empirical evaluation of a decision support model for adopting software product line engineering
Fulltext Access 25 Pages 2015
Software test-code engineering: A systematic mapping
Fulltext Access 25 Pages 2015
Analogy-based software development effort estimation: A systematic mapping and review
Fulltext Access 25 Pages 2015
Development of service-oriented architectures using model-driven development: A mapping study
Fulltext Access 25 Pages 2015
On recommendation problems beyond points of interest
Fulltext Access 25 Pages 2015
Symbol different term rewrite systems
Fulltext Access 25 Pages 2015
A unified ordering for termination proving
Fulltext Access 25 Pages 2015
Type-changing rewriting and semantics-preserving transformation
Fulltext Access 25 Pages 2015
A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling
Fulltext Access 25 Pages 2015
Combinators for impure yet hygienic code generation
Fulltext Access 25 Pages 2015
Integrating deployment architectures and resource consumption in timed object-oriented models
Fulltext Access 25 Pages 2015
Space consumption analysis by abstract interpretation: Reductivity properties
Fulltext Access 25 Pages 2015
Reversibility and asymmetric conflict in event structures
Fulltext Access 25 Pages 2015
An ontological framework for situation-aware access control of software services
Fulltext Access 25 Pages 2015
Querying and integrating spatial-temporal information on the Web of Data via time geography
Fulltext Access 25 Pages 2015
A commitment-based reference ontology for services
Fulltext Access 26 Pages 2015
Compliance monitoring in business processes: Functionalities, application, and tool-support
Fulltext Access 26 Pages 2015
An algebra of database preferences
Fulltext Access 26 Pages 2015
Data structures for temporal graphs based on compact sequence representations
Fulltext Access 26 Pages 2015
Investigations about replication of empirical studies in software engineering: A systematic mapping study
Fulltext Access 26 Pages 2015
Pilot-Data: An abstraction for distributed data
Fulltext Access 26 Pages 2015
Big Data challenges in building the Global Earth Observation System of Systems
Fulltext Access 26 Pages 2015
Greening multi-tenant data center demand response
Fulltext Access 26 Pages 2015
The illustris simulation: Public data release
Fulltext Access 26 Pages 2015
A design-by-contract approach to recover the architectural style from run-time misbehaviour
Fulltext Access 26 Pages 2015
Reasoning about software reconfigurations: The behavioural and structural perspectives
Fulltext Access 26 Pages 2015
Systematic derivation of correct variability-aware program analyses
Fulltext Access 26 Pages 2015
Soft competency requirements in requirements engineering, software design, implementation, and testing
Fulltext Access 26 Pages 2015
Using a suite of ontologies for preserving workflow-centric research objects
Fulltext Access 27 Pages 2015
Lending Petri nets
Fulltext Access 27 Pages 2015
Implementing type-safe software product lines using parametric traits
Fulltext Access 27 Pages 2015
Bounded seas
Fulltext Access 27 Pages 2015
Behavioural equivalences for coalgebras with unobservable moves
Fulltext Access 27 Pages 2015
Extraction of domain concepts from the source code
Fulltext Access 27 Pages 2015
A study of risk-aware program transformation
Fulltext Access 27 Pages 2015
Synergy between Activity Theory and goal/scenario modeling for requirements elicitation, analysis, and evolution
Fulltext Access 27 Pages 2015
Naming the pain in requirements engineering: A design for a global family of surveys and first results from Germany
Fulltext Access 28 Pages 2015
Specification and automated design-time analysis of the business process human resource perspective
Fulltext Access 28 Pages 2015
Mining various semantic relationships from unstructured user-generated web data
Fulltext Access 28 Pages 2015
Automatic promotional specialization, generalization and analysis of extended feature models with cardinalities in Alloy
Fulltext Access 28 Pages 2015
A semi-automated approach to adapt activity diagrams for new use cases
Fulltext Access 28 Pages 2015
Extensible sparse functional arrays with circuit parallelism
Fulltext Access 28 Pages 2015
The abstract domain of Trapezoid Step Functions
Fulltext Access 28 Pages 2015
Shape analysis in a functional language by using regular languages
Fulltext Access 28 Pages 2015
Adding distribution and fault tolerance to Jason
Fulltext Access 28 Pages 2015
Reusing metadata across components, applications, and languages
Fulltext Access 28 Pages 2015
A tool for visual and formal modelling of software designs
Fulltext Access 28 Pages 2015
Parallel multiphysics simulations of charged particles in microfluidic flows
Fulltext Access 29 Pages 2015
A calculus of quality for robustness against unreliable communication
Fulltext Access 29 Pages 2015
Architectural tactics for cyber-foraging: Results of a systematic literature review
Fulltext Access 29 Pages 2015
Scientific software development viewed as knowledge acquisition: Towards understanding the development of risk-averse scientific software
Fulltext Access 29 Pages 2015
Model checking of concurrent programs with static analysis of field accesses
Fulltext Access 29 Pages 2015
Modular encoding of synchronous and asynchronous interactions using open Petri nets
Fulltext Access 29 Pages 2015
A multiscale computational framework to understand vascular adaptation
Fulltext Access 30 Pages 2015
Light combinators for finite fields arithmetic
Fulltext Access 30 Pages 2015
Certifying execution time in multicores
Fulltext Access 30 Pages 2015
An algorithm for compositional nonblocking verification using special events
Fulltext Access 30 Pages 2015
Designing a verifying compiler: Lessons learned from developing Whiley
Fulltext Access 30 Pages 2015
A survey of software engineering practices in Turkey
Fulltext Access 30 Pages 2015
Disciplined structured communications with disciplined runtime adaptation
Fulltext Access 31 Pages 2015
On bounding space usage of streams using interpretation analysis
Fulltext Access 31 Pages 2015
“Bidirectionalization for free” for monomorphic transformations
Fulltext Access 31 Pages 2015
Evolution of software in automated production systems: Challenges and research directions
Fulltext Access 31 Pages 2015
Impact analysis and change propagation in service-oriented enterprises: A systematic review
Fulltext Access 31 Pages 2015
A resource-aware framework for resource-constrained service-oriented systems
Fulltext Access 31 Pages 2015
A coalgebraic semantics for causality in Petri nets
Fulltext Access 31 Pages 2015
A view framework for modeling and change validation of artifact-centric inter-organizational business processes
Fulltext Access 31 Pages 2015
<< < 54 55 56 57 58 > >>
Related Topics
Image processing Articles
3577 Papers
Productivity Articles
2777 Papers
Fuzzy logic Articles
2743 Papers
Social media Articles
2052 Papers
Security Articles
2003 Papers
Automation Articles
1810 Papers
Computer simulations Articles
1253 Papers
Computer vision Articles
1193 Papers
Software Articles
1144 Papers
Simulations Articles
1129 Papers
Bootstrap Articles
1090 Papers
Injection Articles
668 Papers
Geographic information systems Articles
645 Papers
ICT Articles
638 Papers
Multimedia Articles
618 Papers
Telecommunications Articles
537 Papers
Artificial Intelligence Articles
Computational Theory and Mathematics Articles
Computer Graphics and Computer-Aided Design Articles
Computer Networks and Communications Articles
Computer Science (General) Articles
Computer Science Applications Articles
Computer Vision and Pattern Recognition Articles
Hardware and Architecture Articles
Human-Computer Interaction Articles
Information Systems Articles
Signal Processing Articles
Software Articles
All Topics
Related Journals
Artificial Intelligence Journals
Computational Theory and Mathematics Journals
Computer Graphics and Computer-Aided Design Journals
Computer Networks and Communications Journals
Computer Science (General) Journals
Computer Science Applications Journals
Computer Vision and Pattern Recognition Journals
Hardware and Architecture Journals
Human-Computer Interaction Journals
Information Systems Journals
Signal Processing Journals
Software Journals
Entertainment Computing Journal
Information Systems Journal
Computer Languages, Systems & Structures Journal
Future Generation Computer Systems Journal
Journal of Computational Science Journal
Journal of Innovation in Digital Ecosystems Journal
The Journal of Logic and Algebraic Programming Journal
Journal of Logical and Algebraic Methods in Programming Journal
Journal of Parallel and Distributed Computing Journal
Science of Computer Programming Journal
Computer Standards & Interfaces Journal
Digital Investigation Journal
Journal of Systems Architecture Journal
Journal of Systems and Software Journal
Microprocessors and Microsystems Journal
Performance Evaluation Journal
Computer Methods and Programs in Biomedicine Journal
Astronomy and Computing Journal
Integration, the VLSI Journal Journal
Information and Software Technology Journal
Web Semantics: Science, Services and Agents on the World Wide Web Journal
Egyptian Journal of Basic and Applied Sciences Journal
AASRI Procedia Journal
Advances in Engineering Software Journal
Environmental Modelling & Software Journal
SoftwareX Journal

Daneshyari.com

دسترسی سریع

  • صفحه اصلی دانشیاری
  • دسته بندی موضوعی مقالات
  • مقالات ترجمه شده
  • سفارش ترجمه مقاله
  • سفارش تولید محتوا
  • تولید محتوا

ارتباط

  • ورود
  • عضویت
  • تماس و پشتیبانی
  • تبلیغات

English Website

  • Home
  • Physical Sciences and Engineering
  • Life Sciences
  • Health Sciences
  • Social Sciences and Humanities