Sciweavers

5838 search results - page 204 / 1168
» A File System for System Programming in Ubiquitous Computing
Sort
View
SP
1999
IEEE
132views Security Privacy» more  SP 1999»
15 years 8 months ago
Detecting Computer and Network Misuse through the Production-based Expert System Toolset (P-BEST)
This paper describes an expert system development toolset called the Production-Based Expert System Toolset (P-BEST) and how it is employed in the development of a modern generic ...
Ulf Lindqvist, Phillip A. Porras
149
Voted
ISORC
1999
IEEE
15 years 8 months ago
Embedded Platforms for Distributed Real-Time Computing: Challenges and Results
Object-oriented techniques have been along the last decade one of the most useful programming paradigms. However, for distributed embedded systems the semantic gap between the obj...
José Rufino, Guilherme Arroz, Paulo Ver&iac...
HYBRID
2010
Springer
15 years 10 months ago
From synchronous programs to symbolic representations of hybrid systems
In this paper, we present an extension of the synchronous language Quartz by new kinds of variables, actions and statements for modeling the interaction of synchronous systems wit...
Kerstin Bauer, Klaus Schneider
SUM
2007
Springer
15 years 9 months ago
The Consistency Extractor System: Querying Inconsistent Databases Using Answer Set Programs
Abstract. We present the Consistency Extractor System (ConsEx) that uses answer set programming to compute consistent answers to first-order queries posed to relational databases ...
Mónica Caniupán Marileo, Leopoldo E....
132
Voted
SC
2003
ACM
15 years 9 months ago
ParADE: An OpenMP Programming Environment for SMP Cluster Systems
Demand for programming environments to exploit clusters of symmetric multiprocessors (SMPs) is increasing. In this paper, we present a new programming environment, called ParADE, ...
Yang-Suk Kee, Jin-Soo Kim, Soonhoi Ha