Sciweavers

468 search results - page 47 / 94
» Specification of Behaviour in Component Frameworks
Sort
View
BPM
2006
Springer
126views Business» more  BPM 2006»
13 years 10 months ago
Verification of Business Process Integration Options
Abstract. We propose a meta-meta framework architecture for supporting the behaviour based integration of two business processes. The meta-meta level provides basic integration ope...
Georg Grossmann, Michael Schrefl, Markus Stumptner
BIRTHDAY
2010
Springer
13 years 8 months ago
Model Checking Programmable Router Configurations
Programmable networks offer the ability to customize router behaviour at run time, thus providing new levels of flexibility for network administrators. We have developed a program...
Luca Zanolin, Cecilia Mascolo, Wolfgang Emmerich
ACMDIS
2000
ACM
14 years 26 days ago
The Building Blocks of Experience: An Early Framework for Interaction Designers
Design activity has recently attempted to embrace “designing the user experience.” Designers need to demystify how we design for user experience and how the products we design...
Jodi Forlizzi, Shannon Ford
ESCIENCE
2006
IEEE
14 years 2 months ago
User Programmable Virtualized Networks
This paper introduces the concept of a User Programmable Virtualized Network, which allows networks to deliver application specific services using network element components that ...
Robert J. Meijer, Rudolf J. Strijkers, Leon Gomman...
JSW
2006
89views more  JSW 2006»
13 years 8 months ago
Towards a Mathematical Foundation for Service-Oriented Applications Design
Abstract-- Leveraging service oriented programming paradigm would significantly affect the way people build software systems. However, to achieve this goal a solid software design ...
Aliaksei Yanchuk, Alexander Ivanyukovich, Maurizio...