8623 search results - page 1446 / 1725 » Software engineering for secure systems |
168
click to vote
COMSWARE
2007
IEEE
16 years 18 days ago
2007
IEEE
Abstract— Scalable network localization is key for realizing ad-hoc networks. In this paper we propose a localization scheme where nodes form a relative coordinate system of the ...
201
Voted
QEST
2007
IEEE
16 years 16 days ago
2007
IEEE
Generalized Stochastic Petri Nets (GSPNs) are a widely used high-level formalism used for modelling discrete-event systems. The Platform Independent Petri net Editor (PIPE) is an ...
175
click to vote
AOSE
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. Agent-oriented methodologies are an important means for constructing agent-based systems in a controlled repeatable form. However, agent-oriented methodologies have not r...
148
click to vote
ICFEM
2007
Springer
16 years 12 days ago
2007
Springer
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...
177
click to vote
ISORC
2006
IEEE
16 years 8 days ago
2006
IEEE
Service overlays that support distributed stream processing applications are increasingly being deployed in wide-area environments. The inherent heterogeneous, dynamic and large-s...