Sciweavers

6174 search results - page 1040 / 1235
» The language of social software
Sort
View
WORDS
2005
IEEE
16 years 2 days ago
Agent-Oriented Modelling and Specification of Web Services
Web services (WS) provide a technology for integrating applications over the Internet. This paper proposes a multi-agent conceptual model of WS and an agent-oriented modelling and...
Hong Zhu, Lijun Shan
CC
2005
Springer
124views System Software» more  CC 2005»
16 years 1 days ago
Boosting the Performance of Multimedia Applications Using SIMD Instructions
Modern processors’ multimedia extensions (MME) provide SIMD ISAs to boost the performance of typical operations in multimedia applications. However, automatic vectorization suppo...
Weihua Jiang, Chao Mei, Bo Huang, Jianhui Li, Jiah...
CC
2005
Springer
115views System Software» more  CC 2005»
16 years 1 days ago
Experiences with Enumeration of Integer Projections of Parametric Polytopes
Abstract. Many compiler optimization techniques depend on the ability to calculate the number of integer values that satisfy a given set of linear constraints. This count (the enum...
Sven Verdoolaege, Kristof Beyls, Maurice Bruynoogh...
CCS
2005
ACM
16 years 1 days ago
Formal security analysis of basic network-attached storage
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
Avik Chaudhuri, Martín Abadi
CLEF
2005
Springer
16 years 1 days ago
A Fast Forward Approach to Cross-Lingual Question Answering for English and German
This paper describes the development of a question answering system for monolingual and cross-lingual tasks for the languages English and German. We developed the question answeri...
Robert Strötgen, Thomas Mandl, René Sc...
« Prev « First page 1040 / 1235 Last » Next »