5718 search results - page 371 / 1144 » Modeling Rule Precision |
165
click to vote
ICAIL
2009
ACM
16 years 1 months 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...
187
click to vote
QEST
2008
IEEE
16 years 1 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...
188
click to vote
ICCCN
2007
IEEE
16 years 1 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...
173
click to vote
ICSM
2006
IEEE
16 years 24 days 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 ...
148
click to vote
CAISE
2005
Springer
16 years 9 days ago
2005
Springer
Traditional requirements engineering approaches suffer from the tyranny of the dominant decomposition, with functional requirements serving as the base decomposition and non-functi...