Sciweavers

7124 search results - page 162 / 1425
» Programming Languages and Operating Systems
Sort
View
ZUM
2000
Springer
132views Formal Methods» more  ZUM 2000»
15 years 10 months ago
A Formal Architecture for the 3APL Agent Programming Language
Abstract. The notion of agents has provided a way of imbuing traditional computing systems with an extra degree of flexibility that allows them to be more resilient and robust in t...
Mark d'Inverno, Koen V. Hindriks, Michael Luck
NDSS
2009
IEEE
16 years 1 months ago
Analyzing and Comparing the Protection Quality of Security Enhanced Operating Systems
Host compromise is a serious computer security problem today. To better protect hosts, several Mandatory Access Control systems, such as Security Enhanced Linux (SELinux) and AppA...
Hong Chen, Ninghui Li, Ziqing Mao
SAMOS
2010
Springer
15 years 4 months ago
OpenCL-based design methodology for application-specific processors
OpenCL is a programming language standard which enables the programmer to express the application by structuring its computation as kernels. The OpenCL compiler is given the explic...
Pekka O. Jaskelainen, Carlos S. de La Lama, Pablo ...
CICLING
2004
Springer
15 years 12 months ago
Towards Programming in Everyday Language: A Case for Email Management
Abstract. In order to extend the application domain of natural language interfaces to more realistic tasks without the decrease of user’s performance, it is desirable for users t...
Toru Sugimoto, Noriko Ito, Shino Iwashita, Michio ...
ERLANG
2007
ACM
15 years 10 months ago
Programming distributed Erlang applications: pitfalls and recipes
We investigate the distributed part of the Erlang programming language, with an aim to develop robust distributed systems and algorithms running on top of Erlang runtime systems. ...
Hans Svensson, Lars-Åke Fredlund