1054 search results - page 104 / 211 » Translation Validation of System Abstractions |
175
click to vote
CBSE
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Software systems should evolve in order to respond to changing client requirements and their evolving environments. But unfortunately, the evolution of legacy application...
141
click to vote
ASAP
2004
IEEE
15 years 10 months ago
2004
IEEE
We explain a systematic way of interfacing data-flow hardware accelerators (IP) for their ion in a system on chip. We abstract the communication behaviour of the data flow IP so a...
158
click to vote
DIMVA
2009
15 years 7 months ago
2009
Abstract. Many systems have been introduced to detect software intrusions by comparing the outputs and behavior of diverse replicas when they are processing the same, potentially m...
121
click to vote
SIGMOBILE
2002
15 years 6 months ago
2002
ese two applications are built upon the abstraction provided by the Context Service and thus help validate the design of this service. The first application, a Notification Dispatc...
171
click to vote
ICCCN
2007
IEEE
16 years 20 days ago
2007
IEEE
Abstract — Distributed sensor system applications (e.g., wireless sensor networks) have been studied extensively in recent years. Such applications involve resource-limited embed...