10870 search results - page 1909 / 2174 » Model Checking Programs |
149
click to vote
ISPW
2005
IEEE
16 years 7 days ago
2005
IEEE
A process defines the way activities are organized, managed, measured, supported and improved to reach a goal. It has been shown, 15 years ago [1] that processes are software too; ...
143
click to vote
IWPC
2005
IEEE
16 years 7 days ago
2005
IEEE
Source code can be viewed in many ways, with each view facilitating access to different information contained within the code. In this working session, we will explore the role th...
199
click to vote
KBSE
2005
IEEE
16 years 7 days ago
2005
IEEE
Intrusion detection systems are distributed applications that analyze the events in a networked system to identify malicious behavior. The analysis is performed using a number of ...
159
click to vote
MSWIM
2005
ACM
16 years 6 days ago
2005
ACM
In order for precise evaluation of MANET applications, more realistic mobility models are needed in wireless network simulations. In this paper, we focus on the behavior of pedest...
195
click to vote
FMCO
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhi...