3828 search results - page 268 / 766 » Proof-Based System Engineering Using a Virtual System Model |
166
click to vote
DSN
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes an experiment in formal specification and validation performed in the context of an industrial joint project. The project involved an Italian company working...
185
click to vote
IPPS
2007
IEEE
16 years 26 days ago
2007
IEEE
In today’s dynamic computing environments, the available resources and even underlying computation engine can change during the execution of a program. Additionally, current tre...
195
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
We describe the design and implementation of Privacy Oracle, a system that reports on application leaks of user information via the network traffic that they send. Privacy Oracle ...
211
click to vote
SOCO
2008
Springer
15 years 6 months ago
2008
Springer
Face recognition from an image or video sequences is emerging as an active research area with numerous commercial and law enforcement applications. In this paper different Pseudo 2...
168
click to vote
CODES
2006
IEEE
16 years 19 days ago
2006
IEEE
This paper presents a methodology to combine Transaction Level Modeling and System/Network co-simulation for the design of networked embedded systems. As a result, a new design di...