ADVANCED SEARCH
Advanced Search
FEEDBACK
Please provide us with feedback
Found 18,990 of 1,394,228
|
|
Results 1 - 20 of 18,990
|
|
|
Result page:
1
2
3
4
5
6
7
8
9
10
next
>>
|
|
|
1
|
|
Mutation Analysis for Reactive System Environment Properties
|
|
November 2006
|
|
MUTATION '06: Proceedings of the Second Workshop on Mutation Analysis
|
|
Publisher: IEEE Computer Society
|
|
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 0 |
 |
|
Reactive systems used in safety-critical domains demand high level of confidence. The development of these systems, which are submitted to several normative recommendations, is complex and expensive. Reactive systems can be developed by using the data-flow ...
|
|
2
|
|
A Workflow-based Non-intrusive Approach for Enhancing the Survivability of Critical Infrastructures in Cyber Environment
|
|
May 2007
|
|
ICSEW '07: Proceedings of the 29th International Conference on Software Engineering Workshops
|
|
Publisher: IEEE Computer Society
|
|
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 0 |
 |
|
The focus of this paper is on vulnerabilities which exist in Supervisory Control and Data Acquisition (SCADA) systems. Cyber attacks targeting weaknesses in these systems can seriously degrade the survivability of a critical system. Detailed here is ...
|
|
3
|
|
4
|
|
5
|
|
A practical way to teach web programming in computer science
|
|
October 2006
|
|
Journal of Computing Sciences in Colleges
, Volume 22 Issue 1
|
|
Publisher: Consortium for Computing Sciences in Colleges
|
|
Full text available: |
Pdf
(298.30 KB)
|
|
|
| Bibliometrics: Downloads (6 Weeks): 29, Downloads (12 Months): 157, Downloads (Overall): 778, Citation Count: 3 |
 |
|
Nowadays, web-based applications have become more and more popular in computer-based applications. Learning and mastering web programming environment, techniques, and methods are becoming necessary for undergraduate students in computer science. Traditional ...
|
|
6
|
|
Design and Implementation of a Menu Based OSCAR Command Line Interface
|
|
May 2007
|
|
HPCS '07: Proceedings of the 21st International Symposium on High Performance Computing Systems and Applications
|
|
Publisher: IEEE Computer Society
|
|
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 0 |
 |
|
The Open Source Cluster Application Resources (OSCAR) toolkit is used to build and maintain HPC clusters. The OSCAR cluster installer provides a graphical user interface (GUI) "wizard" that directs the user through the installation process. This GUI ...
|
|
7
|
|
CryptoManager++
|
|
December 1996
|
|
Information systems security
|
|
Publisher: Chapman & Hall, Ltd.
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 0 |
 |
|
|
Keywords: application programming interface, cryptographic library, object oriented programming
|
|
8
|
|
Intelligent interfaces: user models and planners
|
|
April 1986
|
|
CHI '86: Proceedings of the SIGCHI conference on Human factors in computing systems
|
Publisher: ACM
Request Permissions
|
|
Full text available: |
Pdf
(642.22 KB)
|
|
|
| Bibliometrics: Downloads (6 Weeks): 3, Downloads (12 Months): 17, Downloads (Overall): 217, Citation Count: 6 |
 |
|
To meet the challenge of constructing interfaces for increasingly complex multifunctional products, designers will be attracted by the promise offered by “intelligent” systems. However, the value of such sophisticated systems must be measured ...
|
Also published in: |
| April 1986 |
SIGCHI Bulletin |
Volume 17 Issue 4 |
|
|
9
|
|
Formalising TCP's Data Transfer Service Language: A Symbolic Automaton and its Properties
|
|
March 2008
|
|
Fundamenta Informaticae
, Volume 80 Issue 1-3
|
|
Publisher: IOS Press
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 0 |
 |
|
The TCP/IP protocol suite defines the procedures governing the movement of data within the Internet. A major component of the suite is the Transmission Control Protocol (TCP), which ensures data flows reliably between Internet applications. We use Coloured ...
Keywords: Coloured Petri Nets, Data Transfer Service, Parametric Systems, Service Language, Symbolic Automata, TCP
|
|
10
|
|
PHIGS programming manual
|
|
January 1992
|
|
PHIGS programming manual
|
|
Publisher: O'Reilly & Associates, Inc.
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 3 |
 |
|
|
|
|
11
|
|
Information retrieval using a hypertext-based help system
|
|
July 1989
|
|
Transactions on Information Systems (TOIS)
, Volume 7 Issue 3
|
Publisher: ACM
Request Permissions
|
|
Full text available: |
Pdf
(1.41 MB)
|
|
|
| Bibliometrics: Downloads (6 Weeks): 3, Downloads (12 Months): 38, Downloads (Overall): 529, Citation Count: 25 |
 |
|
Hypertext offers users a simple, flexible way to navigate through electronic information systems but at the potential risk of becoming lost in the network of interconnected pieces of information. A study was conducted on information retrieval using a ...
|
|
12
|
|
Scenario-based usability engineering techniques in agile development processes
|
|
April 2008
|
|
CHI '08: CHI '08 extended abstracts on Human factors in computing systems
|
Publisher: ACM
Request Permissions
|
|
Full text available: |
Flv
(62:12 MIN),
Pdf
(543.99 KB)
|
|
|
| Bibliometrics: Downloads (6 Weeks): 31, Downloads (12 Months): 293, Downloads (Overall): 491, Citation Count: 0 |
 |
|
Improving the users' experience is a common goal of both software engineering and usability engineering. However, although practitioners of both disciplines collaborate in practice, development processes often rely on a sequential division of labor, ...
Keywords: contextual design, extreme programming, scenario-based design, software engineering, usability engineering
|
|
13
|
|
CGAL: the Computational Geometry Algorithms Library
Andreas Fabri,
Sylvain Pion
|
|
November 2009
|
|
GIS '09: Proceedings of the 17th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems
|
Publisher: ACM
Request Permissions
|
|
Full text available: |
Pdf
(575.86 KB)
|
|
|
| Bibliometrics: Downloads (6 Weeks): 1, Downloads (12 Months): 1, Downloads (Overall): 1, Citation Count: 0 |
 |
|
We present fundamental geometric data structures and algorithms offered by CGAL, the Computational Geometry Algorithms Library. As geometry is ubiquitous this library is used by application developers in medical imaging, VLSI, CAD/CAM, geophysics, computer ...
Keywords: C++, exact geometric computing, generic programming, geometric data structures and algorithms, open source
|
|
14
|
|
Undergraduate software engineering laboratories: a progress report from two universities
|
|
March 1992
|
|
SIGCSE '92: Proceedings of the twenty-third SIGCSE technical symposium on Computer science education
|
Publisher: ACM
Request Permissions
|
|
Full text available: |
Pdf
(665.48 KB)
|
|
|
| Bibliometrics: Downloads (6 Weeks): 2, Downloads (12 Months): 7, Downloads (Overall): 126, Citation Count: 2 |
 |
|
Recently, both Miami University of Ohio and the Rochester Institute of Technology received NSF grants to develop undergraduate software engineering laboratories. While the general goals of the labs are similar, specific hardware and software selections ...
|
Also published in: |
| March 1992 |
SIGCSE Bulletin |
Volume 24 Issue 1 |
|
|
15
|
|
Modularization with Externalization of Control Flow
|
|
May 2007
|
|
ACoM '07: Proceedings of the First International Workshop on Assessment of Contemporary Modularization Techniques
|
|
Publisher: IEEE Computer Society
|
|
Full text available: |
Pdf
(235.81 KB)
|
|
|
| Bibliometrics: Downloads (6 Weeks): 2, Downloads (12 Months): 39, Downloads (Overall): 133, Citation Count: 0 |
 |
|
The architectural design decides the quality and the longevity of the software. Gross decomposition of a system into interacting components using proper abstractions for component interaction defines the modularity of the system which in turn decides ...
|
|
16
|
|
Remotely testing and analysing OSI networks
|
|
June 1992
|
|
ULPAA '92: Proceedings of the IFIP TC6/WG6.5 international conference on Upper layer protocols, architectures and applications
|
|
Publisher: Elsevier Science Publishers B. V.
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 0 |
 |
|
|
Keywords: network architecture and design, network protocols, tools and techniques
|
|
17
|
|
James D. Foley, Oct. 12: user interface strategies '88
|
|
January 1988
|
|
James D. Foley, Oct. 12: user interface strategies '88
|
|
Publisher: University of Maryland at College Park
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 0 |
 |
|
|
|
|
18
|
|
Modeling Behavioral Patterns of Concurrent Objects Using Petri Nets
|
|
April 2006
|
|
ISORC '06: Proceedings of the Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing
|
|
Publisher: IEEE Computer Society
|
|
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 0 |
 |
|
Object-oriented software development practices are being rapidly adopted within increasingly complex systems, including reactive, real-time and concurrent system applications. While data modeling is performed very well under current object-oriented development ...
|
|
19
|
|
Compatibility of software components: modelling and verification
|
|
January 2007
|
|
Compatibility of software components: modelling and verification
|
|
Publisher: Memorial University of Newfoundland
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 0 |
 |
|
The area of Component Based Software Engineering (CBSE) is rapidly emerging as a means of mitigating the complexity faced by software architects during the design and maintenance of large software systems. Unfortunately, given the substantial number ...
|
|
20
|
|
A visual test development environment for GUI systems
|
|
March 1998
|
|
ISSTA '98: Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
|
Publisher: ACM
Request Permissions
|
|
Full text available: |
Pdf
(2.05 MB)
|
|
|
| Bibliometrics: Downloads (6 Weeks): 9, Downloads (12 Months): 68, Downloads (Overall): 663, Citation Count: 9 |
 |
|
We have implemented an experimental test development environment (TDE) intended to raise the effectiveness of tests produced for GUI systems, and raise the productivity of the GUI system tester.The environment links a test designer, a test design library, ...
Keywords: GUI-based system, capture/reply, test coverage, test designer, test generation, test maintenance, test scenario, testing, visual editor
|
Also published in: |
| March 1998 |
SIGSOFT Software Engineering Notes |
Volume 23 Issue 2 |
|
|
|
Result page:
1
2
3
4
5
6
7
8
9
10
next
>>
|
|
|
|