Sciweavers

8781 search results - page 1368 / 1757
» Enterprise Model Integration
Sort
View
APN
2007
Springer
16 years 28 days ago
Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms
In this work, we propose two high-level formalisms, Markov Decision Petri Nets (MDPNs) and Markov Decision Well-formed Nets (MDWNs), useful for the modeling and analysis of distrib...
Marco Beccuti, Giuliana Franceschinis, Serge Hadda...
ATAL
2007
Springer
16 years 28 days ago
Agent coordination by trade-off between locally diffusion effects and socially structural influences
There were always two separated methods to make agent coordination: individual-local balance perspective and individualsociety balance perspective. The first method only considere...
Yichuan Jiang, Jiuchuan Jiang, Toru Ishida
ESORICS
2007
Springer
16 years 28 days ago
SilentKnock: Practical, Provably Undetectable Authentication
Port knocking is a technique first introduced in the blackhat and trade literature to prevent attackers from discovering and exploiting potentially vulnerable services on a networ...
Eugene Y. Vasserman, Nicholas Hopper, John Laxson,...
GCC
2007
Springer
16 years 27 days ago
A Component Based Interoperability Solution over Existing Grid Middleware
The purpose of grid technology is to integrate various heterogeneous resources together to provide huge computation and storage capacity for users transparently. However, current ...
Weiyuan Huang, Yongwei Wu, Jia Liu, Guangwen Yang,...
SAFECOMP
2007
Springer
16 years 26 days ago
Using Deductive Cause-Consequence Analysis (DCCA) with SCADE
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
Matthias Güdemann, Frank Ortmeier, Wolfgang R...
« Prev « First page 1368 / 1757 Last » Next »