Open Save New
FeedNavigator / National Library of Health Sciences
 
  
Computer Science
AddActa Automatica Sinica
AddAd hoc networks
AddAdvanced engineering informatics
AddAdvanced robotics
AddAll Things Digital - News
AddAmazon Web Services Blog
AddAnalog integrated circuits and signal processing
AddAnnals of telecommunications - Annales des télécommunications
AddAnnual reviews in control
AddApplied soft computing
AddAutomatica
AddAutomation and remote control
AddAutomation in construction
AddAutonomous robots
AddBioData Mining
AddBioinformatics (journal)
AddBiomedical Digital Libraries
AddBlown to Bits
AddBMC Bioinformatics
AddBMC Medical Informatics and Decision Making
AddBriefings in Bioinformatics
AddCCC
AddCCC Computing Research Highlights
AddCentral European journal of operations research
AddCIN: Computers, Informatics, Nursing
AddClass M
AddCluster computing
AddCognitive systems research
AddComputational Intelligence
AddComputer animation and virtual worlds
AddComputer communications
AddComputer fraud and security
AddComputer languages, systems and structures
AddComputer Methods and Programs in Biomedicine
AddComputer networks
AddComputer Scientist in a Business School
AddComputer speech and language
AddComputer vision and image understanding
AddComputerized Medical Imaging and Graphics
AddComputers in Biology and Medicine
AddComputing and visualization in science
AddConstraints
AddCybernetics and systems analysis
AddCyberpsychology & behavior
AddDaniel Lemire's blog
AddDesign automation for embedded systems
AddDigital Creativity
AddDigital Science Blog
AddDiscrete event dynamic systems
AddDisplays
AddDynamical systems
AddEDPACS
AddElectronic Commerce Research
AddEngineering applications of artificial intelligence
AddEURASIP Journal on Advances in Signal Processing
AddEURASIP Journal on Bioinformatics and Systems Biology
AddEURASIP Journal on Embedded Systems
AddEURASIP Journal on Image and Video Processing
AddEURASIP Journal on wireless communications and networking
AddEuropean journal of control
AddExpert systems with applications
AddGeekWire
AddGenomeweb.com Informatics Iron
AddHuman-computer interaction
AddIEEE/ACM Transactions on Computational Biology and Bioinformatics
AddImage and vision computing
AddInformatics for Health and Social Care
AddInformatics In Primary Care
AddInformation & management
AddInformation and Communications Technology Law
AddInformation and computation
AddInformation and software technology
AddInformation systems and e-business management
AddInformation Systems Frontiers
AddInformation Systems Research
AddInkling Engineering Blog
AddIntelligent service robotics
AddInternational Journal of Automation and computing
AddInternational journal of computer vision
AddInternational Journal of Control, Automation and Systems
AddInternational Journal of Critical Infrastructure Protection
AddInternational journal of general systems
AddInternational journal of human-computer studies
AddInternational journal of network management
AddInternational journal of wireless information networks
AddInternational journal on document analysis and recognition (IJDAR)
AddJoel on Software
AddJournal of Biomedical Informatics
AddJournal of Chemical Information and Modeling
AddJournal of computational electronics
AddJournal of Computational Science
AddJournal of Computer Virology and Hacking Techniques
AddJournal of Computer-Aided Molecular Design
AddJournal of computer-mediated communication
AddJournal of Decision Systems
AddJournal of Field Robotics
AddJournal of Graphics Tools
AddJournal of Grid Computing
AddJournal of Information Technology Case and Application Research
AddJournal of intelligent & robotic systems
AddJournal of Intelligent Manufacturing
AddJournal of Internet commerce
AddJournal of Logic and Computation
AddJournal of management information systems
AddJournal of Medical Internet Research
AddJournal of network and computer applications
AddJournal of network and systems management
AddJournal of process control
AddJournal of Signal Processing Systems
AddJournal of systems architecture
AddJournal of Systems Science and Systems Engineering
AddJournal of the American Medical Informatics Association
AddJournal of Zhejiang University Science C
AddLecture Notes in Computer Science
AddLiterary and Linguistic Computing
AddMachine vision and applications
AddMany Niches (Brendan Watson)
AddMashable
AddMedical & Biological Engineering & Computing
AddMicrosystem technologies
AddMIT : Computer science and technology
AddMobile Networks and Applications
AddMultidimensional systems and signal processing
AddNano communication networks
AddNatural computing
AddNetnomics
AddNetwork security
AddNetworks and spatial economics
AddNeural computing & applications
AddNew generation computing
AddNew review of information networking
AddO'Reilly Radar
AddOptical switching and networking
AddPattern Analysis and Applications, PAA
AddPattern recognition
AddPattern recognition letters
AddPersonal and Ubiquitous Computing
AddPervasive and mobile computing
AddPHYSorg.com: Computer Sciences
AddPLoS Computational Biology
AddPLoS Computational Biology Related SciVees
AddPLOS Tech
AddQuantum information processing
AddRobotics and autonomous systems
AddSciTopics Computer Science
AddSignal processing
AddSignal processing. Image communication
AddSimulation Modelling Practice and Theory
AddSource Code for Biology and Medicine
AddStudies in Health Technology and Informatics
AddSustainable Computing: Informatics and Systems
AddSystems & control letters
AddSystems Research and Behavioral Science
AddTechCrunch » google
AddTelecommunications policy
AddTelematics and informatics
AddThe Journal of Strategic Information Systems
AddUser Modeling and User-Adapted Interaction
AddWeb Semantics: Science, Services and Agents on the World Wide Web
AddWireless communications and mobile computing
AddWireless networks
AddWorld wide web


»My Articles

»Latest Feeds

»Popular Feeds
Search Feed Catalog by Name:

Improving formal analysis of state machines with particular emphasis on and-cross transitionsComputer languages, systems and structures115 dayssaveRefWorksSFX Info
Case studies on automated verification with slope boundaries for block diagramsComputer languages, systems and structures115 dayssaveRefWorksSFX Info
Frame conditions in the automatic validation and verification of UML/OCL models: A symbolic formulation of modifies only statementsComputer languages, systems and structures115 dayssaveRefWorksSFX Info
Achieving model quality through model validation, verification and explorationComputer languages, systems and structures115 dayssaveRefWorksSFX Info
Special issue on quality in Model-Driven EngineeringComputer languages, systems and structures115 dayssaveRefWorksSFX Info
Personalized recommender systems for product-line configuration processesComputer languages, systems and structures115 dayssaveRefWorksSFX Info
A change-aware per-file analysis to compile configurable systems with #ifdefsComputer languages, systems and structures115 dayssaveRefWorksSFX Info
SDAC: A model for analysis of the execution semantics of data processing framework in cloudComputer languages, systems and structures115 dayssaveRefWorksSFX Info
Software language engineering in the large: towards composing and deriving languagesComputer languages, systems and structures115 dayssaveRefWorksSFX Info
A scalable model based approach for data model evolution: Application to space missions data modelsComputer languages, systems and structures115 dayssaveRefWorksSFX Info
Automatic production of end user documentation for DSLsComputer languages, systems and structures115 dayssaveRefWorksSFX Info
FLANDM: a development framework of domain-specific languages for data mining democratisationComputer languages, systems and structures115 dayssaveRefWorksSFX Info
An Event-B-based approach to hybrid systems engineering and its application to a hemodialysis machine case studyComputer languages, systems and structures115 dayssaveRefWorksSFX Info
On transparent value-sensitive run-time monitoring for information flow policiesComputer languages, systems and structures115 dayssaveRefWorksSFX Info
REDOSPLAT: A readable domain-specific language for timetabling requirements definitionComputer languages, systems and structures115 dayssaveRefWorksSFX Info
QoSMOS: QoS metrics management tool suiteComputer languages, systems and structures115 dayssaveRefWorksSFX Info
On domain driven design using annotation-based domain specific languageComputer languages, systems and structures115 dayssaveRefWorksSFX Info
Attributed and n-ary relations in OWL for knowledge modelingComputer languages, systems and structures115 dayssaveRefWorksSFX Info
Automatized integration of a contextual model into a process with data variabilityComputer languages, systems and structures115 dayssaveRefWorksSFX Info
Concern-oriented language development (COLD): Fostering reuse in language engineeringComputer languages, systems and structures115 dayssaveRefWorksSFX Info
Coding Ants: Optimization of GPU code using ant colony optimizationComputer languages, systems and structures115 dayssaveRefWorksSFX Info
CIaaS - computational intelligence as a service with AthenaComputer languages, systems and structures115 dayssaveRefWorksSFX Info
SAwUML – UML-based, contractual software architectures and their formal analysis using SPINComputer languages, systems and structures115 dayssaveRefWorksSFX Info
Design and implementation of DeepDSL: A DSL for deep learningComputer languages, systems and structures115 dayssaveRefWorksSFX Info
Using the local context for the definition and implementation of visual languagesComputer languages, systems and structures115 dayssaveRefWorksSFX Info
Supercombinator set acquired from context-free grammar samplesComputer languages, systems and structures115 dayssaveRefWorksSFX Info
Editorial BoardComputer languages, systems and structures115 dayssaveRefWorksSFX Info
Data access skipping for recursive partitioning methodsComputer languages, systems and structures115 dayssaveRefWorksSFX Info
MMFilter : A CHR-Based Solver for Generation of Executions under Weak Memory ModelsComputer languages, systems and structures115 dayssaveRefWorksSFX Info
Automated modelling assistance by integrating heterogeneous information sourcesComputer languages, systems and structures115 dayssaveRefWorksSFX Info
How do developers use dynamic features? The case of RubyComputer languages, systems and structures115 dayssaveRefWorksSFX Info
Automatic assessment of Java codeComputer languages, systems and structures115 dayssaveRefWorksSFX Info
A process-oriented modeling approach for graphical development of mobile business appsComputer languages, systems and structures115 dayssaveRefWorksSFX Info
A two-phase software reliability modeling involving with software fault dependency and imperfect fault removalComputer languages, systems and structures115 dayssaveRefWorksSFX Info
Aspect composition for multiple target languages using LARAComputer languages, systems and structures115 dayssaveRefWorksSFX Info
Editorial BoardComputer languages, systems and structures115 dayssaveRefWorksSFX Info
 XML / RSS feed
report