3106 search results - page 26 / 622 » Both Generic Design and Different Forms of Designing |
132
Voted
ENTCS
2008
15 years 5 months ago
2008
Most well-known algorithms for equational solving are based on quantifier elimination. This technique iteratively eliminates the innermost block of existential/universal quantifie...
151
click to vote
IESA
2007
15 years 6 months ago
2007
In this paper a methodology is presented to generate webforms for business documents directly from XML schemas. XML Schemas that are based on the UN/CEFACT Naming and Design Rules ...
147
click to vote
ICC
2008
IEEE
15 years 11 months ago
2008
IEEE
—This work presents a closed-form expression for characterizing the spread of static worm-scanning strategies through a mean-field approximation. Our model can both accurately c...
136
click to vote
ANSS
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper describes JSIM: the simulation module of the Java Modelling Tools (JMT), an open-source fully-portable Java suite for capacity planning studies. The simulator has been ...
162
click to vote
APN
2007
Springer
15 years 11 months ago
2007
Springer
In this work, we propose two high-level formalisms, Markov Decision Petri Nets (MDPNs) and Markov Decision Well-formed Nets (MDWNs), useful for the modeling and analysis of distrib...