Sciweavers

2944 search results - page 311 / 589
» On Well Quasi-orders on Languages
Sort
View
VL
2002
IEEE
144views Visual Languages» more  VL 2002»
16 years 15 days ago
Interactive Visualization of Java Programs
The design and implementation of a novel visual interactive execution environment for Java is described. This system displays both the run-time object structure as well as the int...
Paul V. Gestwicki, Bharat Jayaraman
174
Voted
IFIP
2009
Springer
16 years 5 days ago
Modeling Virtual Organization Architecture with the Virtual Organization Breeding Methodology
While Enterprise Architecture Modeling (EAM) methodologies become more and more popular, an EAM methodology tailored to the needs of virtual organizations (VO) is still to be devel...
Zbigniew Paszkiewicz, Willy Picard
PADL
2001
Springer
16 years 18 hour ago
Specifying Authentication Protocols Using Rewriting and Strategies
Abstract. Programming with rewrite rules and strategies has been already used for describing several computational logics. This paper describes the way the Needham-Schroeder Public...
Horatiu Cirstea
UML
2001
Springer
16 years 11 hour ago
UML Support for Designing Software Systems as a Composition of Design Patterns
Much of the research work on design patterns has primarily focused on discovering and documenting patterns. Design patterns promise early reuse benefits at the design stage. To rea...
Sherif M. Yacoub, Hany H. Ammar
235
Voted
EUROMICRO
2000
IEEE
16 years 4 hour ago
Concurrent Control Systems: From Grafcet to VHDL
The Automated Production Systems (APS) are composed of concurrent interacting entities. Then any model should exhibit parallel and sequential behaviours. The Grafcet is now well e...
Frédéric Mallet, Daniel Gaffé...