Sciweavers

1537 search results - page 255 / 308
» Domain-Specific Software Component Models
Sort
View
SEKE
2007
Springer
15 years 8 months ago
Query Processing in Paraconsistent Databases in the Presence of Integrity Constraints
In this paper, we present an approach to query processing for paraconsistent databases in the presence of integrity constraints. Paraconsistent databases are capable of representi...
Navin Viswanath, Rajshekhar Sunderraman
143
Voted
CRV
2005
IEEE
132views Robotics» more  CRV 2005»
15 years 8 months ago
Face Recognition with Weighted Locally Linear Embedding
We present an approach to recognizing faces with varying appearances which also considers the relative probability of occurrence for each appearance. We propose and demonstrate ex...
Nathan Mekuz, Christian Bauckhage, John K. Tsotsos
WORDS
2005
IEEE
15 years 8 months ago
Towards a Flow Analysis for Embedded System C Programs
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...
Jan Gustafsson, Andreas Ermedahl, Björn Lispe...
139
Voted
GCC
2005
Springer
15 years 8 months ago
Research on Semantic-Based Web Services Registry Federation
Meta modeling is an effective approach to implement interoperability among distributed and heterogeneous information sources on Web. MMFI (Framework for Metamodel Interoperability)...
Bing Li, Fei He, Wudong Liu, Keqing He, Jin Liu
123
Voted
FMCO
2004
Springer
112views Formal Methods» more  FMCO 2004»
15 years 8 months ago
Probabilistic Linda-Based Coordination Languages
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...