ACM Home Page

Searching within The Guide for: CCS:D22  (start a new search)

Found 18,990 of 1,394,228

REFINE YOUR SEARCH

ADVANCED SEARCH
Advanced search.  Advanced Search

FEEDBACK
Please provide us with feedback. Please provide us with feedback

Found 18,990 of 1,394,228

Results 1 - 20 of 18,990
Sort by in
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
Full text available: Publisher SitePublisher Site
Additional Information:full citation, abstract, index terms
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
Full text available: Publisher SitePublisher Site
Additional Information:full citation, abstract, index terms
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
Electronic Notes in Theoretical Computer Science (ENTCS): Volume 217
July 2008
Electronic Notes in Theoretical Computer Science (ENTCS)
Publisher: Elsevier Science Publishers B. V.
Additional Information:full citation, index terms
Bibliometrics:  Downloads (6 Weeks): n/a,   Downloads (12 Months): n/a,   Downloads (Overall): n/a,    Citation Count: 0
4
A demonstration of the integrated supportability analysis and cost system (ISACS+)
December 1997
WSC '97: Proceedings of the 29th conference on Winter simulation
Publisher: IEEE Computer Society
Full text available: PdfPdf (817.94 KB)
Additional Information:full citation, references, index terms
Bibliometrics:  Downloads (6 Weeks): 1,   Downloads (12 Months): 12,   Downloads (Overall): 169,    Citation Count: 0
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: PdfPdf (298.30 KB)
Additional Information:full citation, abstract, references, index terms
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
Full text available: Publisher SitePublisher Site
Additional Information:full citation, abstract, index terms
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.
Additional Information:full citation, index terms
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 Request Permissions   
Full text available: PdfPdf (642.22 KB)
Additional Information:full citation, abstract, references, cited by, index terms
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
Additional Information:full citation, abstract, references, index terms
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.
Additional Information:full citation, cited by, index terms
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 Request Permissions   
Full text available: PdfPdf (1.41 MB)
Additional Information:full citation, abstract, references, cited by, index terms, review
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 Request Permissions   
Full text available: FlvFlv (62:12 MIN),  PdfPdf (543.99 KB)
Additional Information:full citation, abstract, references, index terms
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 Request Permissions   
Full text available: PdfPdf (575.86 KB)
Additional Information:full citation, abstract, references, index terms
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 Request Permissions   
Full text available: PdfPdf (665.48 KB)
Additional Information:full citation, abstract, references, cited by, index terms
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: PdfPdf (235.81 KB)
Additional Information:full citation, abstract, references, index terms
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.
Additional Information:full citation, index terms
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
Additional Information:full citation, index terms, review
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
Full text available: Publisher SitePublisher Site
Additional Information:full citation, abstract, index terms
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
Additional Information:full citation, abstract, index terms
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 Request Permissions   
Full text available: PdfPdf (2.05 MB)
Additional Information:full citation, abstract, references, cited by, index terms
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    >>