8874 search results - page 1669 / 1775 » A New Implementation of Automath |
140
Voted
GCC
2003
Springer
15 years 8 months ago
2003
Springer
The paper discusses XML security key technologies related with security of Web service. Based on these discussions, Web service is integrated with some mature security architecture...
115
Voted
GECCO
2003
Springer
15 years 8 months ago
2003
Springer
The development of the XCS Learning Classifier System [26] has produced a stable implementation, able to consistently identify the accurate and optimally general population of cla...
140
Voted
GIS
2003
ACM
15 years 8 months ago
2003
ACM
Accurate postal code maps have many applications within GIS as the postal code has the potential to link the address description of buildings to their location in a specified glob...
123
Voted
ISCA
2010
IEEE
15 years 8 months ago
2010
IEEE
Light-weight, flexible access control, which allows software to regulate reads and writes to any granularity of memory region, can help improve the reliability of today’s multi...
148
Voted
PLDI
2010
ACM
15 years 8 months ago
2010
ACM
Many opportunities for easy, big-win, program optimizations are missed by compilers. This is especially true in highly layered Java applications. Often at the heart of these misse...