647 search results - page 57 / 130 » Deployment of Services-Oriented Applications Integrating Phy... |
SEMWEB
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Social interactions are one of the key factors to the success of conferences and similar community gatherings. This paper describes a novel application that integrates da...
113
click to vote
IEEEHPCS
2010
14 years 12 months ago
2010
Particle systems have been incorporated into a wide variety of applications in both academia and industry. They can be employed to investigate complex natural phenomena, illustrat...
121
click to vote
FMCAD
2006
Springer
15 years 5 months ago
2006
Springer
We describe a link between the ACL2 and HOL mechanical proof assistants that enables the strengths of each system to be deployed smoothly within a single formal development. Severa...
114
click to vote
SIGOPSE
2000
ACM
15 years 5 months ago
2000
ACM
As researchers look beyond the PC there is increasing interest in developing and deploying sophisticated home networks. Such networks might allow the seamless integration of infor...
AUTOMATICA
2006
15 years 1 months ago
2006
Repetitive processes are a distinct class of 2D systems (i.e. information propagation in two independent directions) of both systems theoretic and applications interest. They cann...