1199 search results - page 165 / 240 » Software Verification and Software Engineering a Practitione... |
303
click to vote
TASE
2012
IEEE
14 years 1 months ago
2012
IEEE
— This paper presents new results on the formal design of distributed coordinating agents in a discrete-event framework. In this framework, agents are modeled to be individually ...
149
click to vote
LCTRTS
2009
Springer
16 years 26 days ago
2009
Springer
The fine-grained parallelism inherent in FPGAs has encouraged their use in packet processing systems. Debugging and performance evaluation of such complex designs can be signifi...
158
click to vote
ICST
2008
IEEE
16 years 15 days ago
2008
IEEE
Real-time embedded systems typically include concurrent tasks of different priorities with time-dependent operations accessing common resources. In this context, unsynchronized pa...
159
click to vote
CCS
2007
ACM
16 years 8 days ago
2007
ACM
Systematic approaches to measuring security are needed in order to obtain evidence of the security performance of products or an organization. In this study we survey the emerging...
135
click to vote
ICSE
2007
IEEE-ACM
16 years 7 days ago
2007
IEEE-ACM
This tutorial addresses the problem of the migration of legacy assets to Service-Oriented Architecture (SOA) environments. It addresses how to develop a realistic strategy for per...