2556 search results - page 161 / 512 » The Triconnected Abstraction of Process Models |
176
click to vote
SARA
2007
Springer
16 years 1 months ago
2007
Springer
In order to apply constraint programming to a particular domain, the problem must first be modelled as a constraint satisfaction problem. There are typically many alternative mode...
163
click to vote
PATMOS
2004
Springer
16 years 12 days ago
2004
Springer
Abstract. The logical effort method has appeared very convenient for fast estimation and optimization of single paths. However it necessitates a calibration of all the gates of the...
188
click to vote
COOPIS
2002
IEEE
16 years 11 hour ago
2002
IEEE
Abstract. In recent years ontologies – shared conceptualizations of some domain – are increasingly seen as the key to further automation of information processing. Although man...
185
click to vote
EUROMICRO
2004
IEEE
15 years 10 months ago
2004
IEEE
Software applications can be described as compositions are components at an abstract level. In this paper we present a component modeling process which allows to design, model and...
188
click to vote
QEST
2008
IEEE
16 years 1 months ago
2008
IEEE
CaVi provides a uniform interface to state-of-the-art simulation methods and formal verification methods for wireless sensor network. Simulation is suitable to examine the behavi...