1318 search results - page 189 / 264 » The formal semantics of the timeER model |
177
click to vote
ADMA
2008
Springer
16 years 19 days ago
2008
Springer
Abstract. Social bookmarking has become an important web2.0 application recently, which is concerned with the dual user behavior to search - tagging. Although social bookmarking we...
170
click to vote
CAV
2005
Springer
15 years 11 months ago
2005
Springer
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
187
click to vote
RTS
2006
15 years 6 months ago
2006
Component middleware provides dependable and efficient platforms that support key functional, and quality of service (QoS) needs of distributed real-time embedded (DRE) systems. C...
166
click to vote
JELIA
2000
Springer
15 years 10 months ago
2000
Springer
We present a framework for decision making with the possibility to express circumstance-dependent preferences among different alternatives for a decision. This new formalism, Order...
152
click to vote
IJDAR
2007
15 years 6 months ago
2007
Language usage over computer mediated discourses, like chats, emails and SMS texts, significantly differs from the standard form of the language. An urge towards shorter message l...