5766 search results - page 740 / 1154 » Reverse Engineering of Data |
209
click to vote
ISPASS
2007
IEEE
16 years 1 months ago
2007
IEEE
Virtualization is an essential technology in modern datacenters. Despite advantages such as security isolation, fault isolation, and environment isolation, current virtualization ...
159
Voted
SCAM
2007
IEEE
16 years 1 months ago
2007
IEEE
—The access of information systems to underlying relational databases is commonly programmed using embedded SQL queries. Such embedded queries may take the form of string literal...
186
click to vote
TASE
2007
IEEE
16 years 1 months ago
2007
IEEE
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...
178
click to vote
ATAL
2007
Springer
16 years 29 days ago
2007
Springer
Recognizing and annotating the occurrence of team actions in observations of embodied agents has applications in surveillance and in training of military or sport teams. We descri...
156
click to vote
FASE
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Within model-driven software development, model transformation has become a key activity. It refers to a variety of operations modifying a model for various purposes such...