Register
|
Login
Full Text
Author
Title
Submit manuscript
About
Articles
Issues
Author Guidelines
Special Issues
Call for Papers
Imprint
Editorial Team
Contacts
Filter
Search
Full Text
Author
Title
by Subject
Topic A - General Literature
Topic B - Hardware
Topic C - Computer Systems Organization
Topic D - Software
Topic E - Data
Topic F - Theory of Computation
Topic G - Mathematics of Computing
Topic H - Information Systems
Topic I - Computing Methodologies
Topic J - Computer Applications
Topic K - Computing Milieux
Topic L - Science and Technology of Learning
Topic M - Knowledge Management
by Publication Date (dd/mm/yyyy)
from
to
by Publication Type
Research Article
(2648)
Editorial
(401)
by Journal
by Funding Agency
Clear filters
Powered by
634 items matching your criteria
Sort by:
Publication date newest
Publication date oldest
Total views
Unique views
Best match
Citations count
Highly accessed (last month)
Highly accessed (last 3 months)
Highly accessed (last 6 months)
Highly accessed (last year)
Filter By:
Subject: Topic D - Software
Clear All
Copy link
RSS Feed
RSS Feed filters articles only by Classification type, Date (from/to), Publication type
41
42
43
44
45
Select:
All
None
Download:
Citation
XML
PDF
Export format
RIS
BIBTEX
Bookends
EasyBib
EndNote (tagged)
EndNote 8 (xml)
Medlars
Mendeley
Papers
RefWorks Tagged
Ref Manager
Zotero
Mods (xml)
Plain text (txt)
Download
Research Article
TESTAF: A Test Automation Framework for Class Testing using Object-Oriented Formal Specifications
Aamer Nadeem
,
Muhammad Jaffar-Ur-Rehman
10.3217/jucs-011-06-0962
28-06-2005
Unique: 402 | Total: 502
| Access Period:
962-985
HTML
XML
PDF
Research Article
Automatic Test Data Generation for Data Flow Testing Using a Genetic Algorithm
Moheb Girgis
10.3217/jucs-011-06-0898
28-06-2005
Unique: 439 | Total: 531
| Access Period:
898-915
HTML
XML
PDF
Research Article
Time Costs in Actor Computations
Michele Santo
,
Franco Frattolillo
10.3217/jucs-011-06-0850
28-06-2005
Unique: 378 | Total: 428
| Access Period:
850-873
HTML
XML
PDF
Research Article
Formal Construction of a Non-blocking Concurrent Queue Algorithm
Jean-Raymond Abrial
,
Dominique Cansell
10.3217/jucs-011-05-0744
28-05-2005
Unique: 386 | Total: 449
| Access Period:
744-770
HTML
XML
PDF
Research Article
Precise Modelling of Compensating Business Transactions and its Application to BPEL
Michael Butler
,
Carla Ferreira
,
Muan Ng
10.3217/jucs-011-05-0712
28-05-2005
Unique: 351 | Total: 425
| Access Period:
712-743
HTML
XML
PDF
Research Article
Replication: Understanding the Advantage of Atomic Broadcast over Quorum Systems
Richard Ekwall
,
Andre Schiper
10.3217/jucs-011-05-0703
28-05-2005
Unique: 380 | Total: 480
| Access Period:
703-711
HTML
XML
PDF
Research Article
On Atomicity and Software Development
Jörg Kienzle
10.3217/jucs-011-05-0687
28-05-2005
Unique: 453 | Total: 950
| Access Period:
687-702
HTML
XML
PDF
Research Article
KMDL - Capturing, Analysing and Improving Knowledge-Intensive Business Processes
Norbert Gronau
,
Claudia Müller
,
Roman Korf
10.3217/jucs-011-04-0452
28-04-2005
Unique: 480 | Total: 635
| Access Period:
452-472
HTML
XML
PDF
Research Article
Using Weblogs for Knowledge Sharing and Learning in Information Spaces
Eric Ras
,
Gabriela Avram
,
Patrick Waterson
,
Stephan Weibelzahl
10.3217/jucs-011-03-0394
28-03-2005
Unique: 366 | Total: 434
| Access Period:
394-409
HTML
XML
PDF
Research Article
Structural Tendencies in Complex Systems Development and their Implication for Software Systems
Andrzej Gecow
,
Mariusz Nowostawski
,
Martin Purvis
10.3217/jucs-011-02-0327
28-02-2005
Unique: 427 | Total: 541
| Access Period:
327-356
HTML
XML
PDF
Research Article
RSA-based Certified Delivery of E-Goods Using Verifiable and Recoverable Signature Encryption
Aleksandra Nenadic
,
Ning Zhang
,
Barry Cheetham
,
Carole Goble
10.3217/jucs-011-01-0175
28-01-2005
Unique: 363 | Total: 466
| Access Period:
175-192
HTML
XML
PDF
Research Article
ProtoMon: Embedded Monitors for Cryptographic Protocol Intrusion Detection and Prevention
Sachin Joglekar
,
Stephen Tate
10.3217/jucs-011-01-0083
28-01-2005
Unique: 356 | Total: 421
| Access Period:
83-103
HTML
XML
PDF
41
42
43
44
45
This website uses cookies in order to improve your web experience.
Read our Cookies Policy
OK