5210 search results - page 296 / 1042 » Tools for Distributed Facilitation |
201
click to vote
ISAS
2007
Springer
16 years 25 days ago
2007
Springer
Service oriented architecture (SOA) design principles are increasingly being adopted to develop distributed real-time and embedded (DRE) systems, such as avionics mission computin...
152
click to vote
LION
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. The practical utility of optimization technologies is often impacted by factors that reflect how these tools are used in practice, including whether various real-world c...
200
click to vote
ACSAC
2006
IEEE
16 years 22 days ago
2006
IEEE
The efficiency of promptly releasing security alerts of established analysis centers has been greatly challenged by the continuous emergence of various large scale network attack...
176
click to vote
EUROMICRO
2006
IEEE
16 years 22 days ago
2006
IEEE
This paper presents a modular modelling methodology to formulate the timing behaviour of real-time distributed component-based applications. It allows to build real-time models of...
160
click to vote
ACSAC
2005
IEEE
16 years 9 days ago
2005
IEEE
Software model checking has become a popular tool for verifying programs’ behavior. Recent results suggest that it is viable for finding and eradicating security bugs quickly. ...