796 search results - page 119 / 160 » An Overview of Separation Logic |
100
click to vote
BIRTHDAY
2006
Springer
15 years 3 months ago
2006
Springer
Robots are autonomous agents whose actions are performed in the real world during a period of time. There are a number of general constraints on such actions, for example that the ...
HICSS
2008
IEEE
15 years 6 months ago
2008
IEEE
Most Supervisory Control and Data Acquisition (SCADA) systems have been in operation for decades and they in general have 24x7 availability requirement, hence upgrading or adding ...
118
click to vote
CLOUD
2010
ACM
15 years 5 months ago
2010
ACM
Over the last 10–15 years, our industry has developed and deployed many large-scale Internet services, from e-commerce to social networking sites, all facing common challenges i...
111
click to vote
ICALT
2006
IEEE
15 years 5 months ago
2006
IEEE
The purpose of this workshop is to identify various issues that are pertinent to the development and delivery of content in the context of mobile devices. The workshop will focus ...
HICSS
2005
IEEE
15 years 5 months ago
2005
IEEE
Abstract— The Topic Detection and Tracking (TDT) research community investigates information retrieval methods for organizing a constantly arriving stream of news articles by the...