Sciweavers

3011 search results - page 211 / 603
» Generating XML Based Specifications of Information Systems
Sort
View
CC
1998
Springer
134views System Software» more  CC 1998»
14 years 1 months ago
Flow Logics for Constraint Based Analysis
Abstract. Flow logic offers a compact and versatile notation for expressing the acceptability of solutions to program analysis problems. In contrast to previous logical formulation...
Hanne Riis Nielson, Flemming Nielson
DSOM
2006
Springer
14 years 26 days ago
Conflict Prevention Via Model-Driven Policy Refinement
This paper describes an approach for application specific conflict prevention based on model-driven refinement of policies prior to deployment. Central to the approach is an algori...
Steven Davy, Brendan Jennings, John Strassner
GLOBECOM
2006
IEEE
14 years 3 months ago
A Distributed Policy Based Solution in a Fault Management Scenario
– The Madeira project, part of the Celtic Initiative1 , investigates the use of a fully distributed, policy-based network management framework that exploits the peer-to-peer para...
Ricardo Marin, Julio Vivero, Hai Nguyen, Joan Serr...
VL
1999
IEEE
109views Visual Languages» more  VL 1999»
14 years 1 months ago
Constraint-Based Diagram Beautification
Recently a new metaphor for diagramming, the intelligent diagram has emerged. This new metaphor provides an excellent basis for diagram beautification since it automatically colle...
Sitt Sen Chok, Kim Marriott, Tom Paton
WSC
2004
13 years 10 months ago
Simulating Transportation Practices in Multi-Indenture Multi-echelon (MIME) Systems
Military supply chains encompass a complicated network of customers and suppliers, and deal with a wide variety of items. Demand inside the network is generated at the unit level ...
Joshua Burton McGee, Manuel D. Rossetti, Scott J. ...