682 search results - page 84 / 137 » Java Implementation Verification Using Reverse Engineering |
WCRE
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—The principles and best practices of object oriented design require that modules in a program should match logical decomposition of the knowledge that the program implem...
NDSS
2002
IEEE
14 years 19 days ago
2002
IEEE
Many business transactions on the Internet occur between strangers, that is, between entities with no prior relationship and no common security domain. Traditional security approa...
ERLANG
2008
ACM
13 years 9 months ago
2008
ACM
When creating software, data types are the basic bricks. Most of the time a programmer will use data types defined in library modules, therefore being tested by many users over ma...
EUROMICRO
1999
IEEE
14 years 1 days ago
1999
IEEE
Software synthesis for system level design languages becomes feasible because the current technology, pricing and application trends will most likely alleviate the industrial empha...
UIST
2004
ACM
14 years 1 months ago
2004
ACM
We present radial scroll, an interface widget to support scrolling particularly on either small or large scale touch displays. Instead of dragging a elevator in a scroll bar, or u...