Sciweavers

3885 search results - page 352 / 777
» Clarifying Goal Models
Sort
View
SAS
1999
Springer
124views Formal Methods» more  SAS 1999»
15 years 11 months ago
State Space Reduction Based on Live Variables Analysis
The intrinsic complexity of most protocol speci cations in particular, and of asynchronous systems in general, lead us to study combinations of static analysis with classical model...
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu
ER
1998
Springer
145views Database» more  ER 1998»
15 years 11 months ago
Design and Analysis of Quality Information for Data Warehouses
Data warehouses are complex systems that have to deliver highly-aggregated, high quality data from heterogeneous sources to decision makers. Due to the dynamic change in the requir...
Manfred A. Jeusfeld, Christoph Quix, Matthias Jark...
ANSS
2007
IEEE
15 years 10 months ago
MDL, A Domain-Specific Language for Molecular Dynamics
Molecular Dynamics (MD) involves solving Newton's equations of motion for a molecular system and propagating the system by time-dependent updates of atomic positions and velo...
Trevor M. Cickovski, Chris Sweet, Jesús A. ...
ACSAC
2004
IEEE
15 years 10 months ago
Designing Good Deceptions in Defense of Information Systems
Since attackers trust computer systems to tell them the truth, it may be effective for those systems to lie or mislead. This could waste the attacker's resources while permit...
Neil C. Rowe
APWEB
2006
Springer
15 years 10 months ago
Energy-Efficient Deployment of Mobile Sensor Networks by PSO
Abstract. Sensor deployment is an important issue in designing sensor networks. In this paper, particle swarm optimization (PSO) approach is applied to maximize the coverage based ...
Xiaoling Wu, Shu Lei, Jin Wang, Jinsung Cho, Sungy...