2036 search results - page 214 / 408 » A generic type-and-effect system |
209
click to vote
FPL
2004
Springer
16 years 15 days ago
2004
Springer
ASIPs and reconfigurable processors are architectural choices to extend the capabilities of a given processor. ASIPs suffer from fixed hardware after design, while ASIPs and reconf...
178
click to vote
GI
2004
Springer
16 years 15 days ago
2004
Springer
: When traveling and visiting new places, tourists are mobile as they wander around and follow tours through cities and landscapes. Location-based mobile systems today typically pr...
166
click to vote
ITS
2004
Springer
16 years 15 days ago
2004
Springer
How smart should we be in order to cope with the complex authoring process of smart courseware? Lately this question gains more attention with attempts to simplify the process and ...
200
click to vote
FASE
2003
Springer
16 years 10 days ago
2003
Springer
In this paper, we present a generic approach to integrate datatypes expressed using formal specification languages within state diagrams. Our main motivations are (i) to be able t...
221
click to vote
EDOC
2002
IEEE
16 years 2 days ago
2002
IEEE
While SOAP/XML is perceived as the appropriate interoperability level for web-services, companies compete to provide workflow-based tools for web-service integration. This paper p...