932 search results - page 136 / 187 » Verifying Progress in Timed Systems |
114
Voted
IPPS
1998
IEEE
15 years 7 months ago
1998
IEEE
Abstract. The development of network-aware applications, i.e. applications that dynamically adapt to network conditions, has had some success in the domain of multimedia applicatio...
136
Voted
ASWC
2006
Springer
15 years 6 months ago
2006
Springer
Automated Web service composition and automated Web service annotation could be seen as complimentary methodologies. While automated annotation allows to extract Web service semant...
153
click to vote
CPM
1995
Springer
15 years 6 months ago
1995
Springer
We consider strings which are succinctly described. The description is in terms of straight-line programs in which the constants are symbols and the only operation is the concaten...
164
Voted
WSC
2007
15 years 5 months ago
2007
Large scale / mega projects are lengthy complex endeavors that require significant planning by management, engineers and construction personnel to ensure the success of the projec...
123
Voted
COMCOM
2008
15 years 2 months ago
2008
Location-based services (LBS) will be a keystone of the new information society that is founded on the information and communications technologies (ICTs). Mobile devices such as c...