Sciweavers

5518 search results - page 345 / 1104
» Rule-Based Service Modeling
Sort
View
FMOODS
2007
15 years 8 months ago
Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking
The success of distributed event-based infrastructures such as SIENA and Elvin is partially due to their ease of use. Even novice users of these infrastructures not versed in distr...
L. Ruhai Cai, Jeremy S. Bradbury, Jürgen Ding...
DGO
2003
85views Education» more  DGO 2003»
15 years 8 months ago
Trust Resource Management in Digital Government Through Process Modeling
This paper explores the use of process technology to create formal process models to increase the level of trust that stakeholders have in digital government. Digital Government s...
Lee Osterwil, Norman K. Sondheimer, Anthony Butter...
IC
2003
15 years 8 months ago
Internet Collaboration Using the W3C Document Object Model
The Internet makes it possible to share information (e.g. text, image, audio, video and other formats of data) across the globe. In this paper we look at collaborative Internet en...
Xiaohong Qiu, Bryan Carpenter, Geoffrey Fox
BIRTHDAY
2010
Springer
15 years 6 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
IJMTM
2007
147views more  IJMTM 2007»
15 years 6 months ago
Value chain modelling using system dynamics
: We consider a new type of value chain that includes both production and service capabilities for existing product lines and that incorporates new product and service development....
Thomas Speller, Luis Rabelo, Albert Jones