1769 search results - page 26 / 354 » An implementation of argument based discussion |
AOSD
2006
ACM
14 years 1 months ago
2006
ACM
In this paper, we present a collection of well-known high-level concurrency patterns and mechanisms, coded in AspectJ. We discuss benefits of these implementations relative to pla...
ESORICS
2008
Springer
13 years 9 months ago
2008
Springer
In this paper we consider the problem of securely outsourcing computation on private data. We present a protocol for securely distributing the computation of the data structures u...
SYNASC
2006
IEEE
14 years 1 months ago
2006
IEEE
The paper focuses on means of defining parameterized type categories and algorithms built on such types in Mathematica. Symbolic algorithms based on category theory have the advan...
COMGEO
2010
ACM
13 years 4 months ago
2010
ACM
The geographic profiling problem is to create an operationally useful estimate of the location of the home base of a serial criminal from the known locations of the offense sites....
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Context awareness is one of the important fields in ubiquitous computing. Smart Home, a specific instance of ubiquitous computing, provides every family with opportunities to enjo...