4985 search results - page 273 / 997 » Observation of String-Rewriting Systems |
153
click to vote
EUROSYS
2011
ACM
14 years 8 months ago
2011
ACM
The increasing popularity of cloud storage services has lead companies that handle critical data to think about using these services for their storage needs. Medical record databa...
154
click to vote
SIGMOD
2011
ACM
14 years 7 months ago
2011
ACM
Facebook recently deployed Facebook Messages, its first ever user-facing application built on the Apache Hadoop platform. Apache HBase is a database-like layer built on Hadoop des...
116
click to vote
HICSS
2009
IEEE
15 years 11 months ago
2009
IEEE
This study presents an IT assessment tool that aims at capturing the level of IT sophistication in hospitals. In order to develop a measure that reflects IT capacities in hospital...
110
click to vote
MSN
2005
Springer
15 years 10 months ago
2005
Springer
Systems that track sensed data trigger alerts based on the evaluation of some condition. In the presence of loss data a conservative condition may not generate a necessary alert an...
169
click to vote
FOSSACS
1999
Springer
15 years 9 months ago
1999
Springer
This paper presents a mu-calculus-based modal logic for describing properties of reactive probabilistic labeled transition systems (RPLTSs) and develops a modelchecking algorithm ...