Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 231,143,159 papers from all fields of science
Search
Sign In
Create Free Account
Problem domain
Known as:
Problem domains
, Problem space
A problem domain is the area of expertise or application that needs to be examined to solve a problem. A problem domain is simply looking at only the…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
24 relations
Axiomatic product development lifecycle
Business domain
Cognitive dimensions of notations
Declarative programming
Expand
Broader (2)
Data modeling
Systems engineering
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
SMT Solvers in Software Security
Julien Vanegue
,
S. Heelan
Workshop on Offensive Technologies
2012
Corpus ID: 7564365
Computational capacity of modern hardware and algorithmic advances have allowed SAT solving to become a tractable technique to…
Expand
Highly Cited
2011
Highly Cited
2011
Hierarchical Variability Modeling for Software Architectures
Arne Haber
,
H. Rendel
,
Bernhard Rumpe
,
Ina Schaefer
,
F. V. Linden
15th International Software Product Line…
2011
Corpus ID: 5458255
Hierarchically decomposed component-based system development reduces design complexity by supporting distribution of work and…
Expand
2008
2008
Automated Web Services Composition with the Event Calculus
O. Aydin
,
N. Cicekli
,
I. Çiçekli
Engineering Societies in the Agent World
2008
Corpus ID: 1819348
As the web services proliferate and complicate it is becoming an overwhelming job to manually prepare the web service…
Expand
Highly Cited
2007
Highly Cited
2007
Capacity of multi-channel wireless networks with random (c, f) assignment
V. Bhandari
,
N. Vaidya
ACM Interational Symposium on Mobile Ad Hoc…
2007
Corpus ID: 1924141
With the availability of multiple unlicensed spectral bands, and potential cost-based limitations on the capabilities of…
Expand
Highly Cited
2003
Highly Cited
2003
MAKING OMIS WORK
2003
Corpus ID: 16216733
: Discusses organizational memory information system (OMIS) implementation in corporations. How to use OMIS; Factors affecting…
Expand
2003
2003
Using SAT based image computation for reachability analysis
P. Chauhan
,
E. Clarke
,
D. Kroening
2003
Corpus ID: 10967400
Satisfiability procedures have shown significant promise for symbolic simulation of large circuits, hence they have been used in…
Expand
Highly Cited
1995
Highly Cited
1995
Integrating Multiple Paradigms within the Blackboard Framework
S. Vranes
,
M. Stanojevic
IEEE Trans. Software Eng.
1995
Corpus ID: 5473499
The complexity and diversity of real world applications have forced researchers in the AI field to focus more on the integration…
Expand
Highly Cited
1992
Highly Cited
1992
Bayesian Diagnosis in Expert Systems
G. Kleiter
Artificial Intelligence
1992
Corpus ID: 46580117
Highly Cited
1987
Highly Cited
1987
A Probabilistic Framework for Resource-Constrained Multi-Agent Planning
N. Muscettola
,
Stephen F. Smith
International Joint Conference on Artificial…
1987
Corpus ID: 14088411
In this paper, we consider the problem of temporally coordinating the resource demands of a set of independent agents. We assume…
Expand
Highly Cited
1983
Highly Cited
1983
ACE: An Expert System for Telephone Cable Maintenance
Gregg T. Vesonder
,
S. Stolfo
,
J. E. Zielinski
,
F. Miller
,
D. H. Copp
International Joint Conference on Artificial…
1983
Corpus ID: 18632956
ACE, a system for Automated Cable Expertise, is a Knowledge-Based Expert System designed to provide troubleshooting reports and…
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