Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,096,490 papers from all fields of science
Search
Sign In
Create Free Account
User error
Known as:
Pebkac
, PEBCAK
, PEBMAC
Expand
A user error is an error made by the human user of a complex system, usually a computer system, in interacting with it. Although the term is…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
19 relations
Broadcast engineering
CD-ROM
Cognitive dimensions of notations
Error message
Expand
Broader (1)
Internet slang
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
On the Use of Planning Technology for Verification Aws Albarghouthi
Jorge A. Baier
,
Sheila A. McIlraith
2009
Corpus ID: 13965854
Formal verification of hardware and software systems involves proving or disproving the correctness of the intended behaviour of…
Expand
2005
2005
Merging Scenarios
Jacques Klein
,
B. Caillaud
,
L. Hélouët
International Workshop on Formal Methods for…
2005
Corpus ID: 12183650
2005
2005
A Specification-Based Intrusion Detection Model for OLSR
Chinyang Henry Tseng
,
Tao Song
,
P. Balasubramanyam
,
C. Ko
,
K. Levitt
International Symposium on Recent Advances in…
2005
Corpus ID: 8257941
The unique characteristics of mobile ad hoc networks, such as shared wireless channels, dynamic topologies and a reliance on…
Expand
2004
2004
The PICNIC Interferometry Camera at IOTA
E. Pedretti
,
R. Millan-Gabet
,
+6 authors
M. K. Brewer
2004
Corpus ID: 20246282
We describe the control and performance of a new near‐infrared camera based on a Rockwell PICNIC array detector for…
Expand
2004
2004
Supporting Elicitation And Specification Of Software Properties Through Patterns And Composite Propositions
Oscar Mondragon
,
A. Gates
International journal of software engineering and…
2004
Corpus ID: 207130206
Prospec is a tool that assists practitioners in the elicitation and specification of system properties. Practitioners are guided…
Expand
2003
2003
Learning to optimize mobile robot navigation based on HTN plans
Thorsten Belker
,
Martin Hammel
,
J. Hertzberg
IEEE International Conference on Robotics and…
2003
Corpus ID: 14763524
High-level symbolic representations of actions to control the working of autonomous robots are used in all hybrid (reactive and…
Expand
2002
2002
Toward Recovery-Oriented Computing
A. Fox
Very Large Data Bases Conference
2002
Corpus ID: 5314638
2002
2002
Multiresolution Design of Aperture Operators
R. Hirata
,
M. Brun
,
J. Barrera
,
E. Dougherty
Journal of Mathematical Imaging and Vision
2002
Corpus ID: 15908648
The design of an aperture operator is based on adequately constraining the spatial domain and the graylevel range in order to…
Expand
Highly Cited
1995
Highly Cited
1995
Specifying Open GIS with Functional Languages
A. Frank
,
W. Kuhn
International Multi-Conference on Systems…
1995
Corpus ID: 14298570
The concept of Open GIS depends on precise definitions of data, operations and interfaces. This paper argues for the use of…
Expand
Review
1994
Review
1994
Specifying and Testing Software Components using ADL
R. Hayes
,
S. Sankar
1994
Corpus ID: 16317461
This paper presents a novel approach to unit testing of software components. This approach uses the specification language ADL…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE