488 search results - page 83 / 98 » On the Formal Generation of Process Redesigns |
WCRE
1997
IEEE
14 years 4 days ago
1997
IEEE
Reverse Engineering is focused on the challenging task of understanding legacy program code without having suitable documentation. Using a transformational forward engineering per...
AMW
2010
13 years 10 months ago
2010
We study query authentication schemes, algorithmic and cryptographic constructions that provide efficient and secure protocols for verifying the results of queries over structured...
DBSEC
2006
13 years 10 months ago
2006
The need for enterprise application integration projects leads to complex composite applications. For the sake of security and efficiency, consolidated access control policies for ...
DMDW
2003
13 years 10 months ago
2003
Data Warehouse-(DW) logical design often start with a conceptual schema and then generates relational structures. Applying this approach implies to cope with two main aspects: (i) ...
COGSCI
2010
13 years 8 months ago
2010
We develop and evaluate a model of behavior on the Give-N task, a commonly used measure of young children's number knowledge. Our model uses the knower-level theory of how ch...