Sciweavers

59 search results - page 4 / 12
» Formal Aspects and Parsing Issues of Dependency Theory
Sort
View
AOSD
2009
ACM
15 years 5 months ago
The dataflow pointcut: a formal and practical framework
Some security concerns are sensitive to flow of information in a program execution. The dataflow pointcut has been proposed by Masuhara and Kawauchi in order to easily implement s...
Dima Alhadidi, Amine Boukhtouta, Nadia Belblidia, ...
ATAL
2006
Springer
15 years 5 months ago
Towards formal model of adversarial action in multi-agent systems
Detecting and preventing the adversarial action of an agent with respect to the community of agents can be a serious issue in the design of open multi-agent systems. This task is ...
Michal Pechoucek, Jan Tozicka, Martin Rehák
HASKELL
2008
ACM
15 years 2 months ago
Language and program design for functional dependencies
Eight years ago, functional dependencies, a concept from the theory of relational databases, were proposed as a mechanism for avoiding common problems with multiple parameter type...
Mark P. Jones, Iavor S. Diatchki
WWW
2003
ACM
16 years 2 months ago
Three theses of representation in the semantic web
The Sematic Web is vitally dependant on a formal meaning for the constructs of its languages. For Semantic Web languages to work well together their formal meanings must employ a ...
Ian Horrocks, Peter F. Patel-Schneider
DAC
2009
ACM
15 years 8 months ago
On-line thermal aware dynamic voltage scaling for energy optimization with frequency/temperature dependency consideration
With new technologies, temperature has become a major issue to be considered at system level design. Without taking temperature aspects into consideration, no approach to energy o...
Min Bao, Alexandru Andrei, Petru Eles, Zebo Peng