796 search results - page 90 / 160 » An Overview of Separation Logic |
183
click to vote
ICOODB
2010
14 years 10 months ago
2010
Abstract. We present the data modeling concepts of Tricia, an opensource Java platform used to implement enterprise web information systems as well as social software solutions inc...
97
Voted
FIW
2009
14 years 10 months ago
2009
One of the most difficult tasks in software development is that features are implemented by changing the code of other features. This problem cannot be solved with existing general...
161
Voted
DALT
2010
Springer
14 years 7 months ago
2010
Springer
Social reasoning theories, whilst studied extensively in the area of multiagent systems, are hard to implement directly in agents. They often specify properties of beliefs or behav...
91
Voted
TEC
2011
14 years 7 months ago
2011
—Differential evolution (DE) is arguably one of the most powerful stochastic real-parameter optimization algorithms in current use. DE operates through similar computational step...
117
Voted
BIRTHDAY
2012
Springer
13 years 8 months ago
2012
Springer
3-D integration presents many new opportunities for architects and embedded systems designers. However, 3-D integration has not yet been explored by the cryptographic hardware com...