2296 search results - page 228 / 460 » The Expressive Power of Synchronizations |
200
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
With recent advances in temporal and spatiotemporal databases, user demands are becoming more complex. As a result, simple queries are replaced by complex multitemporal query scen...
284
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
Linguists seek to understand the semantics of expressions in human languages. Taking a computational point of view, there are many natural language expressions--operators in the w...
202
click to vote
VMCAI
2010
Springer
16 years 1 months ago
2010
Springer
This paper upgrades Regular Linear Temporal Logic (RLTL) with past operators and complementation. RLTL is a temporal logic that extends the expressive power of linear temporal logi...
168
click to vote
ICIW
2009
IEEE
16 years 1 months ago
2009
IEEE
IMS Learning Design (IMS LD) is a powerful and expressive educational modeling language, which is becoming a “de facto” encoding and interchange standard for activity-based co...
136
click to vote
MODELS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Non-functional properties (NFPs) concern various characteristics of a system (cost, power, QoS). These characteristics belong to different models of the system, built by...