Sciweavers

3294 search results - page 193 / 659
» Taxonomy of Process Modeling Languages
Sort
View
112
Voted
ECOWS
2007
Springer
15 years 9 months ago
Structural Matching of BPEL Processes
BPEL has emerged as the industrial standard language for modelling behavioral aspects of web services. To support business partners in dynamically and flexibly binding their serv...
Rik Eshuis, Paul W. P. J. Grefen
125
Voted
FM
2009
Springer
104views Formal Methods» more  FM 2009»
15 years 10 months ago
Verifying Information Flow Control over Unbounded Processes
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
William R. Harris, Nicholas Kidd, Sagar Chaki, Som...
150
Voted
GPCE
2004
Springer
15 years 9 months ago
SourceWeave.NET: Cross-Language Aspect-Oriented Programming
Aspect-Oriented Programming (AOP) addresses limitations in the Object-Oriented (OO) paradigm relating to modularisation of crosscutting behaviour. In AOP, crosscutting behaviour is...
Andrew Jackson, Siobhán Clarke
113
Voted
UML
2005
Springer
15 years 9 months ago
MoDELS 2005 Doctoral Symposium Summary
The MoDELS Doctoral Symposium brought together nine doctoral students and five mentors to spend a day discussing student research presentations. A truly international representatio...
Jeff Gray
107
Voted
FDL
2004
IEEE
15 years 7 months ago
GBLD: A Formal Model for Layout Description and Generation
In this paper, we introduce a layout description and generation model, GBLD, based on the notions and elements of L-systems and context-free grammars. Our layout model is compatib...
I-Lun Tseng, Adam Postula