500 search results - page 74 / 100 » Coalgebraic semantics for timed processes |
EMSOFT
2007
Springer
15 years 6 months ago
2007
Springer
This paper proposes a scheduling strategy and an automatic scheduling flow that enable the simultaneous execution of multiple hard-real-time dataflow jobs. Each job has its own ...
CGO
2005
IEEE
15 years 5 months ago
2005
IEEE
Pointer analysis is traditionally performed once, early in the compilation process, upon an intermediate representation (IR) with source-code semantics. However, performing pointe...
112
click to vote
IEEESCC
2005
IEEE
15 years 5 months ago
2005
IEEE
Web service discovery is a key problem as the number of services is expected to increase dramatically. Service discovery at the present time is based primarily on keywords, or int...
102
click to vote
CIKM
2005
Springer
15 years 5 months ago
2005
Springer
This paper presents a hybrid concept hierarchy development technique for web returned documents retrieved by a meta-search engine. The aim of the technique is to separate the init...
WMCSA
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper describes the adaptive component migration facility in the Bifrost Location-Independent Computing System. We present a facility that allows mobile clients to selectivel...