1178 search results - page 87 / 236 » A Methodological Approach to Developing Model Transformation... |
144
Voted
CDC
2010
IEEE
14 years 8 months ago
2010
IEEE
In this paper we address the problem of physical node capture attacks in wireless sensor networks and provide a control theoretic framework to model physical node capture, cloned n...
126
click to vote
ESAW
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. The deployment of agent societies —as complex systems— in dynamic and unpredictable settings brings forth critical issues concerning their design. Organizational mode...
DATE
2006
IEEE
15 years 7 months ago
2006
IEEE
Practitioners of formal property verification often work around the capacity limitations of formal verification tools by breaking down properties into smaller properties that ca...
114
click to vote
MA
2010
Springer
15 years 3 days ago
2010
Springer
In this article, for the first time, one develops a nonparametric methodology for an analysis of shapes of configurations of landmarks on real 3D objects from regular camera pho...
115
click to vote
ESM
2000
15 years 3 months ago
2000
We are located in the context of the simulation of complex industrial systems, which are distributed in geographical, decisional and informational terms. This paper is divided int...