Sciweavers

3885 search results - page 552 / 777
» Clarifying Goal Models
Sort
View
ENVSOFT
2007
166views more  ENVSOFT 2007»
15 years 6 months ago
The implications of complexity for integrated resources management
: Integrated environmental resources management is a purposeful activity with the goal to maintain and improve the state of an environmental resource affected by human activities. ...
C. Pahl-Wostl
OSN
2008
88views more  OSN 2008»
15 years 6 months ago
Grade-of-service differentiated static resource allocation schemes in WDM networks
This paper presents a study on the Grade-of-Service (GoS) differentiation of static resource allocation in lightpath routed WDM networks, where lightpath requests between node pai...
James Yiming Zhang, Jing Wu, Gregor von Bochmann, ...
ASE
2002
160views more  ASE 2002»
15 years 6 months ago
Proving Invariants of I/O Automata with TAME
This paper describes a specialized interface to PVS called TAME (Timed Automata Modeling Environment) which provides automated support for proving properties of I/O automata. A maj...
Myla Archer, Constance L. Heitmeyer, Elvinia Ricco...
COMCOM
2004
138views more  COMCOM 2004»
15 years 6 months ago
Issues with inferring Internet topological attributes
A number of recent studies of Internet network structure are based on data collected from inter-domain BGP routing tables and tools, such as traceroute, to probe end-to-end paths....
Lisa Amini, Anees Shaikh, Henning Schulzrinne
CAD
2002
Springer
15 years 6 months ago
Sharing Product Data among Heterogeneous Workflow Environments
Nowadays, we increasingly face the situation that possibly heterogeneous workflow environments must be integrated in order to support company-internal business processes as well a...
Markus Bon, Norbert Ritter, Theo Härder