9145 search results - page 423 / 1829 » Description Logic Systems |
208
click to vote
SBACPAD
2003
IEEE
16 years 4 days ago
2003
IEEE
This paper presents the cache configuration exploration of a programmable system, in order to find the best matching between the architecture and a given application. Here, prog...
192
click to vote
ICWS
2003
IEEE
15 years 8 months ago
2003
IEEE
Workflow management systems exactly enact business processes described in a process description language. Unfortunately, such strict adherence to the prescribed workflow makes it ...
208
click to vote
LICS
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—Polarized logic is the logic of values and continuations, and their interaction through continuation-passing style. The main limitations of this logic are the limitation...
314
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
We present a model of recursive and impredicatively quantified types with mutable references. We interpret in this model all of the type constructors needed for typed intermediate...
181
click to vote
VL
2007
IEEE
16 years 1 months ago
2007
IEEE
Information is often represented in tabular format in everyday documents such as balance sheets, sales figures, and so on. Tables represent an interesting point in the spectrum o...