Sciweavers

1198 search results - page 107 / 240
» Compiling for EDGE Architectures
Sort
View
ECAI
2008
Springer
13 years 12 months ago
A BDD Approach to the Feature Subscription Problem
Modern feature-rich telecommunications services offer significant opportunities to human users. To make these services more usable, facilitating personalisation is very important s...
Tarik Hadzic, David Lesaint, Deepak Mehta, Barry O...
ICSOFT
2008
13 years 11 months ago
Aria Language - Towards Agent Orientation Paradigm
As building large-scale software systems is complex, several software engineering paradigms have been devised. Agent oriented paradigm is one of the most predominant contributions...
Mohsen Lesani, Niloufar Montazeri
ML
2008
ACM
115views Machine Learning» more  ML 2008»
13 years 10 months ago
Calling variadic functions from a strongly-typed language
The importance of providing a mechanism to call C functions from high-level languages has been understood for many years and, these days, almost all statically-typed high-level-la...
Matthias Blume, Mike Rainey, John H. Reppy
TOPLAS
2008
101views more  TOPLAS 2008»
13 years 10 months ago
Verifying policy-based web services security
WS-SecurityPolicy is a declarative language for configuring web services security mechanisms. We describe a formal semantics for WS-SecurityPolicy and propose a more abstract lang...
Karthikeyan Bhargavan, Cédric Fournet, Andr...
SAC
2008
ACM
13 years 9 months ago
Optimizing code through iterative specialization
Code specialization is a way to obtain significant improvement in the performance of an application. It works by exposing values of different parameters in source code. The availa...
Minhaj Ahmad Khan, Henri-Pierre Charles, Denis Bar...