7661 search results - page 196 / 1533 » Languages and the Computing Profession |
157
click to vote
EUROPAR
2009
Springer
16 years 1 months ago
2009
Springer
Automatic performance tuning (auto-tuning) has been used in parallel numerical applications for adapting performance-relevant parameters. We extend auto-tuning to general-purpose ...
145
click to vote
MFCS
2009
Springer
16 years 1 months ago
2009
Springer
In this paper we study a subclass of pebble automata (PA) for data languages for which the emptiness problem is decidable. Namely, we show that the emptiness problem for weak 2-peb...
163
click to vote
IEEESCC
2007
IEEE
16 years 24 days ago
2007
IEEE
This dissertation contributes to the services science discipline by examining appropriateness of Language-Action Perspective (LAP) as a theoretical framework for web services, the ...
152
click to vote
GSEM
2007
Springer
16 years 20 days ago
2007
Springer
In order to manage and enforce multiple heterogeneous authorization policies in distributed authorization environment, we defined the root policy specification language and its cor...
193
click to vote
TLCA
2007
Springer
16 years 18 days ago
2007
Springer
A Kripke Semantics is defined for a higher-order logic programming language with constraints, based on Church’s Theory of Types and a generic constraint formalism. Our syntactic...