Sciweavers

7661 search results - page 214 / 1533
» Languages and the Computing Profession
Sort
View
AMAST
2006
Springer
15 years 10 months ago
Some Programming Languages for Logspace and Ptime
We propose two characterizations of complexity classes by means of programming languages. The first concerns Logspace while the second leads to Ptime. This latter characterization ...
Guillaume Bonfante
IAT
2007
IEEE
16 years 26 days ago
Agent Based Arabic Language Understanding
Arabic Language understanding (ALU) computing is considered an AI-hard task. In this paper, we propose an Agent model for ALU problem. This agent is detailed in this paper. An ALU...
Muhammad Taha, Tarek Helmy, Reda Abo Alez
ICTCS
2005
Springer
16 years 1 days ago
A Typed Assembly Language for Non-interference
Abstract. Non-interference is a desirable property of systems in a multilevel security architecture, stating that confidential information is not disclosed in public output. The c...
Ricardo Medel, Adriana B. Compagnoni, Eduardo Bone...
NORDICHI
2004
ACM
15 years 12 months ago
Software usability: a comparison between two tree-structured data transformation languages
This paper presents the results of a software usability study, involving both subjective and objective evaluation. It compares a popular XML data transformation language (XSLT) an...
Nikita Schmidt, Corina Sas
FOSSACS
2004
Springer
15 years 12 months ago
On Recognizable Timed Languages
In this work we generalize the fundamental notion of recognizability from untimed to timed languages. The essence of our definition is the existence of a right-morphism from the m...
Oded Maler, Amir Pnueli