951 search results - page 81 / 191 » Resource Interfaces |
190
click to vote
ECBS
2010
IEEE
16 years 1 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
164
click to vote
SKG
2006
IEEE
16 years 20 days ago
2006
IEEE
With the enhancement of Grid application, Grid portal provides a unique interface for end-users to access distributed resources and are used widely in Knowledge Grid, e-Science, e...
165
click to vote
ERLANG
2004
ACM
16 years 2 days ago
2004
ACM
Structured Programming techniques are applied to a personal accounting software application implemented in erlang as a demonstration of the utility of processes as design construc...
183
click to vote
INFOCOM
2002
IEEE
15 years 11 months ago
2002
IEEE
— Multicast services can be provided either as a basic network service or as an application-layer service. Higher level multicast implementations often provide more sophisticated...
160
click to vote
AES
2006
Springer
15 years 6 months ago
2006
Springer
This paper describes the development and application of a piece of engineering software that provides a Problem Solving Environment (PSE) capable of launching, and interfacing wit...