Sciweavers

2474 search results - page 332 / 495
» Using Knowledge Management Systems to Structure Knowledgeabl...
Sort
View
INFSOF
2010
173views more  INFSOF 2010»
15 years 3 months ago
Filtering false alarms of buffer overflow analysis using SMT solvers
Buffer overflow detection using static analysis can provide a powerful tool for software ers to find difficult bugs in C programs. Sound static analysis based on abstract interpre...
Youil Kim, Jooyong Lee, Hwansoo Han, Kwang-Moo Cho...
ER
2004
Springer
97views Database» more  ER 2004»
15 years 11 months ago
On the Updatability of XML Views Published over Relational Data
Updates over virtual XML views that wrap the relational data have not been well supported by current XML data management systems. This paper studies the problem of the existence of...
Ling Wang, Elke A. Rundensteiner
CEEMAS
2007
Springer
16 years 10 days ago
Simulating a Human Cooperative Problem Solving
Abstract. We are interested in understanding and simulating how humans elaborate plans in situations where knowledge is incomplete and how they interact to obtain missing informati...
Alexandre Pauchet, Amal El Fallah-Seghrouchni, Nat...
SEKE
1995
Springer
15 years 9 months ago
Visual Scenarios for Validation of Requirements Specification
The development of a large information system is generally regarded as one of the most complex activities undertaken by organizations and it is dependent on the communication and u...
V. Lalioti, Babis Theodoulidis
ESWS
2010
Springer
15 years 6 months ago
Efficient Semantic Event Processing: Lessons Learned in User Interface Integration
Abstract. Most approaches to application integration require an unambiguous exchange of events. Ontologies can be used to annotate the events exchanged and thus ensure a common und...
Heiko Paulheim