6528 search results - page 1087 / 1306 » On the architecture of software component systems |
177
click to vote
SIAMREV
2011
14 years 10 months ago
2011
This paper deals with efficient numerical representation and manipulation of differential and integral operators as symbols in phase-space, i.e., functions of space x and frequen...
210
click to vote
SIGUCCS
2005
ACM
16 years 22 days ago
2005
ACM
This paper deals with the design of a multi-modal system for pervasive context-aware service provision and humanenvironment interaction in augmented environments by the use of Per...
180
click to vote
HICSS
2003
IEEE
16 years 14 days ago
2003
IEEE
It is now apparent that our nation’s infrastructures and essential utilities have been optimized for reliability in benign operating environments. As such, they are susceptible ...
194
click to vote
ENTCS
2002
15 years 7 months ago
2002
In this paper we present a framework to program autonomous robots in the declarative multi-paradigm language Curry. This is an experiment to use high-level declarative programming...
179
click to vote
ISMAR
2007
IEEE
16 years 1 months ago
2007
IEEE
Construction companies employ CAD software during the planning phase, but what is finally built often does not match the original plan. The procedure of validating the model is c...