3799 search results - page 309 / 760 » An Engineering Approach to Formal Methods |
205
click to vote
COMPSAC
2006
IEEE
16 years 23 days ago
2006
IEEE
In federated and pervasive networks, trust management has become a cornerstone for information security and privacy. Although people have recognized the importance of privacy and ...
182
click to vote
WCRE
2006
IEEE
16 years 21 days ago
2006
IEEE
Programming is modeling the reality. Most of the times, the mapping between source code and the real world concepts is captured implicitly in the names of identifiers. Making the...
183
click to vote
SIGSOFT
1998
ACM
15 years 11 months ago
1998
ACM
The design of a class hierarchy may be imperfect. For example, a class C may contain a member m not accessed in any C-instance, an indication that m could be eliminated, or moved ...
173
click to vote
DGO
2003
15 years 8 months ago
2003
To query XML data over the Web, query engines need to be able to resolve semantic differences between heterogeneous attributes that are conceptually similar. This demo presents a ...
189
click to vote
RE
2008
Springer
15 years 6 months ago
2008
Springer
NASA spends millions designing and building spacecraft for its missions. The dependence on software is growing as spacecraft become more complex. With the increasing dependence on...