4008 search results - page 181 / 802 » An expressive language of signatures |
164
click to vote
WER
1999
Springer
15 years 10 months ago
1999
Springer
One of the main problems of requirements elicitation is expressing customer requirements in a form that can be understood not only by requirements engineers but also by noncomputer...
166
click to vote
POPL
2003
ACM
15 years 11 months ago
2003
ACM
First-class continuations are a powerful computational effect, allowing the programmer to express any form of jumping. Types and effect systems can be used to reason about contin...
177
click to vote
APCSAC
2003
IEEE
15 years 10 months ago
2003
IEEE
Abstract. Increasingly threading has become an important architectural component of programming languages to support parallel programming. Previously we have proposed an elegant la...
175
click to vote
ACSD
2010
IEEE
15 years 4 months ago
2010
IEEE
The synchronous model of computation divides the execution of a program into an infinite sequence of socalled macro steps, which are further divided into finitely many micro steps....
182
click to vote
PPSWR
2005
Springer
15 years 12 months ago
2005
Springer
The current architecture for the Semantic Web, with its emphasis on RDF syntactic and semantic compatability, has severe problems when expressive Semantic Web languages are incorpo...