1438 search results - page 101 / 288 » An Expressive Extension of TLC |
114
click to vote
BMCBI
2004
15 years 19 days ago
2004
Background: One of the most time-consuming tasks after performing a gene expression experiment is the biological interpretation of the results by identifying physiologically impor...
89
Voted
PERCOM
2005
ACM
16 years 11 days ago
2005
ACM
Privacy is widely recognised as a significant obstacle inhibiting the adoption of context-aware applications. In order to remove this obstacle, advances are required in many areas...
122
Voted
FOSSACS
2010
Springer
15 years 7 months ago
2010
Springer
This paper presents a range of quantitative extensions for the temporal logic CTL. We enhance temporal modalities with the ability to constrain the number of states satisfying cert...
93
Voted
WECWIS
2009
IEEE
15 years 7 months ago
2009
IEEE
Business rules are a cornerstone of the consistency management of e-commerce data. The concurrency of transactions by multiple customers of e-commerce services (e.g., seat reserva...
178
Voted
DAARC
2009
Springer
15 years 7 months ago
2009
Springer
Expressions such as English himself are interpreted as locally bound anaphors in certain syntactic environments and are exempt from the binding conditions in others. This article p...