Sciweavers

8697 search results - page 1428 / 1740
» An Approach to the Enterprise Integration
Sort
View
CCS
2003
ACM
16 years 2 days ago
Incentive-based modeling and inference of attacker intent, objectives, and strategies
Although the ability to model and infer Attacker Intent, Objectives and Strategies (AIOS) may dramatically advance the literature of risk assessment, harm prediction, and predicti...
Peng Liu, Wanyu Zang
COSIT
2003
Springer
115views GIS» more  COSIT 2003»
16 years 2 days ago
Structuring a Wayfinder's Dynamic Space-Time Environment
To travel successfully in a dynamic space-time setting, wayfinders must project the impact of a changing environment onto future travel choices. When making decisions, however, peo...
Michael D. Hendricks, Max J. Egenhofer, Kathleen H...
ECAL
2003
Springer
16 years 1 days ago
Meta-evolutionary Game Dynamics for Mathematical Modelling of Rules Dynamics
This paper proposes an evolutionary-game-theory model, called meta-evolutionary game dynamics, for studying the dynamics of rules and individual behaviour. Although there are two g...
Takashi Hashimoto, Yuya Kumagai
ER
2003
Springer
98views Database» more  ER 2003»
16 years 1 days ago
Extracting Relations from XML Documents
XML is becoming a prevalent format for data exchange. Many XML documents have complex schemas that are not always known, and can vary widely between information sources and applica...
Eugene Agichtein, C. T. Howard Ho, Vanja Josifovsk...
FMCO
2003
Springer
114views Formal Methods» more  FMCO 2003»
16 years 1 days ago
Synchronous Closing and Flow Analysis for Model Checking Timed Systems
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
Natalia Ioustinova, Natalia Sidorova, Martin Steff...
« Prev « First page 1428 / 1740 Last » Next »