3358 search results - page 292 / 672 » Dynamic Description Logics |
281
click to vote
ICFP
2009
ACM
16 years 7 months ago
2009
ACM
Type abstraction and intensional type analysis are features seemingly at odds--type abstraction is intended to guarantee parametricity and representation independence, while type ...
157
click to vote
HPCA
2004
IEEE
16 years 7 months ago
2004
IEEE
For highest performance, a modern microprocessor must be able to determine if an instruction is ready in the same cycle in which it is to be selected for execution. This creates a...
168
click to vote
ICWS
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract--Most work on adaptive workflows offers insufficient flexibility to enforce complex policies regarding dynamic, evolvable and robust workflows. In addition, many proposed ...
170
click to vote
PERCOM
2009
ACM
16 years 7 months ago
2009
ACM
Abstract--Pervasive computing applications involve both software concerns, like any software system, and integration concerns, for the constituent networked devices of the pervasiv...
172
click to vote
ISORC
2009
IEEE
16 years 1 months ago
2009
IEEE
In the automotive domain, several loosely-coupled Architecture Description Languages (ADLs) compete to proet of abstract modeling and analysis services on top of the implementatio...