609 search results - page 20 / 122 » MIThril 2003: Applications and Architecture |
114
click to vote
KBSE
2003
IEEE
15 years 7 months ago
2003
IEEE
Applications built in a strongly decoupled, eventbased interaction style have many commendable characteristics, including ease of dynamic configuration, accommodation of platform ...
138
Voted
WECWIS
2003
IEEE
15 years 7 months ago
2003
IEEE
Enterprise Applications are increasingly moving towards providing web access to their users through "thin clients". There is a strong case for their integration using we...
107
Voted
BTW
2003
Springer
15 years 7 months ago
2003
Springer
: Web services technology is all about distributed computing. There is no fundamentally new basic concept behind this and related technologies. What is really new is the reach of W...
140
click to vote
CLUSTER
2003
IEEE
15 years 7 months ago
2003
IEEE
Dynamic programming is an important algorithm design technique in computational biology and scientific computing. Typical applications using this technique are very compute-intens...
139
click to vote
ICFP
2003
ACM
2003
ACM
A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines
16 years 1 months ago
We report on work in progress devoted to the formalization of an Ordered Logical Framework (OLF) based on a two-level architecture [8] in the Hybrid system. OLF here is a second-or...