Sciweavers

13489 search results - page 2336 / 2698
» Operating System
Sort
View
ECSQARU
2007
Springer
16 years 27 days ago
Syntactic Propositional Belief Bases Fusion with Removed Sets
Abstract. The problem of merging multiple sources information is central in several domains of computer science. In knowledge representation for artificial intelligence, several a...
Julien Hué, Odile Papini, Eric Würbel
ER
2007
Springer
142views Database» more  ER 2007»
16 years 27 days ago
Multidimensional Data Modeling for Business Process Analysis
The emerging area of business process intelligence attempts to enhance the analytical capabilities of business process management systems by employing data warehousing and mining t...
Svetlana Mansmann, Thomas Neumuth, Marc H. Scholl
EUC
2007
Springer
16 years 27 days ago
Scriptable Sensor Network Based Home-Automation
Today, proprietary home automation targets very specific applications which operate mostly on a cable based infrastructure. In contrast to that, our implementation builds a wirele...
Thomas Haenselmann, Thomas King, Marcel Busse, Wol...
FROCOS
2007
Springer
16 years 27 days ago
Languages Modulo Normalization
Abstract. We propose a new class of tree automata, called tree automata with normalization (TAN). This framework extends equational tree automata, and improved the results of them:...
Hitoshi Ohsaki, Hiroyuki Seki
FROCOS
2007
Springer
16 years 27 days ago
Towards an Automatic Analysis of Web Service Security
Web services send and receive messages in XML syntax with some parts hashed, encrypted or signed, according to the WS-Security standard. In this paper we introduce a model to forma...
Yannick Chevalier, Denis Lugiez, Michaël Rusi...
« Prev « First page 2336 / 2698 Last » Next »