721 search results - page 140 / 145 » A Living System Must Have Noncomputable Models |
111
click to vote
WWW
2003
ACM
16 years 1 months ago
2003
ACM
The Semantic Web envisions a World Wide Web in which data is described with rich semantics and applications can pose complex queries. To this point, researchers have defined new l...
203
Voted
POPL
2005
ACM
16 years 21 days ago
2005
ACM
Spatial logics have been used to describe properties of treelike structures (Ambient Logic) and in a Hoare style to reason about dynamic updates of heap-like structures (Separatio...
86
Voted
INFOCOM
2009
IEEE
15 years 7 months ago
2009
IEEE
—The topology of the Internet has been extensively studied in recent years, driving a need for increasingly complex measurement infrastructures. These measurements have produced ...
135
Voted
EDOC
2008
IEEE
15 years 6 months ago
2008
IEEE
Service providers as we know them nowadays are the always-on “static” web service providers, that aim at Five9 availability (99.999%). Formal, or de-facto, standards, such as ...
121
click to vote
RTCSA
2007
IEEE
15 years 6 months ago
2007
IEEE
RFID middleware systems collect and filter RFID streaming data gathered continuously by numerous readers to process requests from applications. These requests are called continuou...