1499 search results - page 45 / 300 » Case Study: An Implementation of a Secure Steganographic Sys... |
166
click to vote
FASE
2007
Springer
16 years 11 days ago
2007
Springer
Aspects are defined as well-modularized crosscutting concerns. Despite being a core tenet of Aspect Oriented Programming, little research has been done in characterizing and measur...
171
click to vote
CAV
1998
Springer
15 years 10 months ago
1998
Springer
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...
166
click to vote
HICSS
1996
IEEE
15 years 10 months ago
1996
IEEE
Remote tasking encompasses different functionality, such as remote forking, multiple remote spawning, and task migration. In order to overcome the relatively high costs of these m...
165
click to vote
ERCIMDL
2005
Springer
15 years 11 months ago
2005
Springer
Daffodil is a front-end to federated, heterogeneous digital libraries targeting at strategic support of users during the information seeking process. This is done by offering a va...
148
click to vote
JCIT
2007
15 years 6 months ago
2007
Although the concept of Business Intelligence (BI) Systems is still emerging, nowadays many global companies like Agfa, POSCO, TDS Telecom and etc are implementing BI systems as t...