1445 search results - page 161 / 289 » Properties of state spaces and their applications |
180
Voted
SAS
2009
Springer
16 years 7 months ago
2009
Springer
Interpretation from a Topological Perspective David A. Schmidt Kansas State University, Manhattan, Kansas, USA Abstract. Topology is the study of property sets (open sets) and cont...
184
click to vote
ICDE
2010
IEEE
16 years 6 months ago
2010
IEEE
Strong consistency is an important correctness property for replicated databases. It ensures that each transaction accesses the latest committed database state as provided in centr...
179
click to vote
VL
2007
IEEE
16 years 1 months ago
2007
IEEE
Striving toward the vision of Model Driven development (MDD), we face many open questions connected to the elementary tasks involved in working with models. Probably the most basi...
177
click to vote
COREGRID
2007
Springer
16 years 1 months ago
2007
Springer
Abstract Grid Computing is now in the state of development that can offer dynamic management of various parameters that affect the applications’ properties such as performance an...
183
click to vote
HYBRID
2005
Springer
16 years 18 days ago
2005
Springer
Abstract. A methodology for safety verification using barrier certificates has been proposed recently. Conditions that must be satisfied by a barrier certificate can be formula...