Sciweavers

2249 search results - page 68 / 450
» ILP-based engineering change
Sort
View
ENTCS
2007
86views more  ENTCS 2007»
15 years 12 days ago
Tool Support for Proof Engineering
Modern integrated development environments (IDEs) provide programmers with a variety of sophisticated tools for program visualization and manipulation. These tools assist the prog...
Anne Mulhern, Charles Fischer, Ben Liblit
JSW
2007
112views more  JSW 2007»
15 years 10 days ago
A Framework for Design Engineering Education with Workflow-based e-Learning System
—Education of design engineering has started to change in response to the advancement of computer technology. This paper proposes a new design engineering educational framework u...
Kazuo Hiekata, Hiroyuki Yamato, Piroon Rojanakamol...
EDOC
2008
IEEE
15 years 7 months ago
Automating Co-evolution in Model-Driven Engineering
Software development is witnessing the increasing need of version management techniques for supporting the evolution of model-based artefacts. In this respect, metamodels can be c...
Antonio Cicchetti, Davide Di Ruscio, Romina Eramo,...
112
Voted
ICFEM
2007
Springer
15 years 6 months ago
Formal Engineering of XACML Access Control Policies in VDM++
We present a formal, tool-supported approach to the design and maintenance of access control policies expressed in the eXtensible Access Control Markup Language (XACML). Our aim is...
Jeremy Bryans, John S. Fitzgerald
109
Voted
WWIC
2007
Springer
125views Communications» more  WWIC 2007»
15 years 6 months ago
Fault Tolerant Scalable Support for Network Portability and Traffic Engineering
The P-SHIM6 architecture provides ISP independence to IPv6 sites without compromising scalability. This architecture is based on a middle-box, the P-SHIM6, which manages the SHIM6 ...
Marcelo Bagnulo, Alberto García-Martí...