3799 search results - page 227 / 760 » An Engineering Approach to Formal Methods |
136
click to vote
IJNM
2006
15 years 5 months ago
2006
These days a massive deployment of VoIP is taking place over IP networks. VoIP deployment is a challenging task for network researchers and engineers. This paper presents a detaile...
164
click to vote
TASE
2008
IEEE
15 years 5 months ago
2008
IEEE
This paper considers a matrix-based discrete event control approach for a warehouse. The control system is organized in two modules: a dynamic model and a controller. The model pro...
144
click to vote
COMPSAC
2002
IEEE
15 years 10 months ago
2002
IEEE
A relevant consequence of the unceasing expansion of the Web and e-commerce is the growth of the demand of new Web sites and Web applications. The software industry is facing the ...
154
click to vote
SP
1998
IEEE
15 years 9 months ago
1998
IEEE
This paper presents results from analyzing the vulnerability of security-critical software applications to malicious threats and anomalous events using an automated fault injectio...
130
Voted
ICSM
2000
IEEE
15 years 9 months ago
2000
IEEE
Several reverse engineering methods for recovering objects from legacy systems have been proposed in the literature, but most of them neglect to identify the relationships among t...