3233 search results - page 262 / 647 » Rule Modeling and Markup |
142
click to vote
AUTOMOTIVEUI
2009
ACM
16 years 2 days ago
2009
ACM
In this paper we present an approach for creating user infrom abstract representations for the automotive domain. The approach is based on transformations between different user ...
145
click to vote
ICAIL
2009
ACM
16 years 2 days ago
2009
ACM
Legal doctrines provide principles, guidelines and rules for dispute resolution in reasoning with cases. To apply legal doctrines, the context of a contract consisting of differe...
163
Voted
QEST
2008
IEEE
15 years 12 months ago
2008
IEEE
In [3] a probabilistic semantics for timed automata has been defined in order to rule out unlikely (sequences of) events. The qualitative model-checking problem for LTL propertie...
160
click to vote
ICCCN
2007
IEEE
15 years 12 months ago
2007
IEEE
—While wireless vehicular ad hoc networks (VANETs) are attracting greater commercial interest, current research has not adequately captured the real-world urban constraints in VA...
145
click to vote
ICSM
2006
IEEE
15 years 11 months ago
2006
IEEE
Software design patterns are documented best practice solutions that can be applied to reoccurring problems. Although well documented, there are often opportunities to apply them ...