3775 search results - page 296 / 755 » The Expression Problem Revisited |
208
Voted
FOSSACS
2010
Springer
16 years 1 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...
161
click to vote
CSFW
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper studies the problem of securing information release in dynamic languages. We propose (i) an intuitive framework for information-release policies expressing both what ca...
166
click to vote
WECWIS
2009
IEEE
16 years 1 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
click to vote
ICC
2008
IEEE
16 years 1 months ago
2008
IEEE
—For a wireless network with ¢ nodes distributed in an area £ , with ¢ source-destination pairs communicating with each other at some common rate, the hierarchical cooperation...
239
click to vote
SCCC
2008
IEEE
16 years 1 months ago
2008
IEEE
Domain-Specific Languages (DSLs) are high level languages defined for combining expressivity and simplicity by means of constructs which are close to the problem domain and distan...