Sciweavers

2251 search results - page 320 / 451
» Specification and Implementation Problems for C
Sort
View
VAMOS
2010
Springer
15 years 6 months ago
Semistructured Merge in Revision Control Systems
Revision control systems are a major means to manage versions and variants of today's software systems. An ongoing problem in these systems is how to resolve conflicts when me...
Sven Apel, Jörg Liebig, Christian Lengauer, C...
HCI
2007
15 years 6 months ago
An Empirical Study on Users' Acceptance of Speech Recognition Errors in Text-Messaging
Although speech recognition technology and voice synthesis systems have become readily available, recognition accuracy remain a serious problem in the design and implementation of ...
Shuang Xu, Santosh Basapur, Mark Ahlenius, Deborah...
NETWORKING
2008
15 years 6 months ago
Resilience to Dropping Nodes in Mobile Ad Hoc Networks with Link-State Routing
Currently emerging standard routing protocols for MANETs do not perform well in presence of malicious nodes that intentionally drop data traffic but otherwise behave correctly with...
Ignacy Gawedzki, Khaldoun Al Agha
SWAP
2008
15 years 6 months ago
SAscha: A RIA Approach for Supporting Semantic Web Services in the Italian Interoperability Framework
SPCoop is a nationwide framework for supporting service interoperability in the exercise and application of Italian government policies. The very core of this framework lies in the...
Alessandro Adamou
AAAI
2004
15 years 6 months ago
SAT-Based Answer Set Programming
The relation between answer set programming (ASP) and propositional satisfiability (SAT) is at the center of many research papers, partly because of the tremendous performance boo...
Enrico Giunchiglia, Yuliya Lierler, Marco Maratea