Sciweavers

2958 search results - page 49 / 592
» Extending and Implementing RASP
Sort
View
SOCO
2005
Springer
14 years 1 months ago
On Typesafe Aspect Implementations in C++
Compared to other languages, the C++ language offers a less powerful runtime type system, but a very powerful static type system. In AspectC++, this is addressed by an extended joi...
Daniel Lohmann, Olaf Spinczyk
AUSAI
2006
Springer
13 years 11 months ago
Hardware Implementation of Temporal Nonmonotonic Logics
Abstract. In order to apply nonmonotonic logics for specifying industrial automation controllers, we define (1) a method to extend atemporal nonmonotonic logics with temporal opera...
Insu Song, Guido Governatori
WIA
2000
Springer
13 years 11 months ago
Fast Implementations of Automata Computations
Abstract. In 6], G. Myers describes a bit-vector algorithm to compute the edit distance between strings. The algorithm converts an input sequence to an output sequence in a paralle...
Anne Bergeron, Sylvie Hamel
IJISTA
2007
86views more  IJISTA 2007»
13 years 7 months ago
Implementation of a framework to integrate sensors and controllers
: A system architecture is proposed for integrating sensors, controllers, actuators and instrumentation within a common framework. The goal is to provide a flexible and scalable sy...
Ryan D. Weir, Gourab Sen Gupta, Donald G. Bailey
INFORMATICALT
2000
141views more  INFORMATICALT 2000»
13 years 7 months ago
Intelligent GIS: Architectural Issues and Implementation Methods
Abstract. The paper presents an intelligent GIS architecture that enables us to extend GIS functionality by using domain specific knowledge and inference engine. In this architectu...
Viktoras Paliulionis