7715 search results - page 607 / 1543 » Visual Rules Modeling |
198
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...
205
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...
193
click to vote
ICSM
2006
IEEE
16 years 1 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 ...
155
click to vote
CAISE
2005
Springer
16 years 21 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...
168
click to vote
JELIA
2004
Springer
16 years 16 days ago
2004
Springer
Practical reasoners are resource-bounded—in particular they require time to derive consequences of their knowledge. Building on the Timed Reasoning Logics (TRL) framework introdu...