Sciweavers

4350 search results - page 258 / 870
» Case studies for contract-based systems
Sort
View
DASFAA
2010
IEEE
176views Database» more  DASFAA 2010»
15 years 7 months ago
Benchmarking Publish/Subscribe-Based Messaging Systems
Abstract. Publish/subscribe-based messaging systems are used increasingly often as a communication mechanism in data-oriented web applications. Such applications often pose serious...
Kai Sachs, Stefan Appel, Samuel Kounev, Alejandro ...
DM
2008
113views more  DM 2008»
15 years 6 months ago
On some colouring of 4-cycle systems with specified block colour patterns
The present paper continues the study (begun by Quattrocchi, Colouring 4-cycle systems with specified block colour pattern: the case of embedding P3-designs, Electron. J. Combin.,...
Terry S. Griggs, Giovanni Lo Faro, Gaetano Quattro...
CSCW
2000
ACM
15 years 6 months ago
Workflow Systems: Occasions for Success and Failure
Abstract. Workflow technologies have created considerable discussion within the computer supported cooperative work community. Although a number of theoretical and empirical warnin...
Rebecca E. Grinter
ENTCS
2002
91views more  ENTCS 2002»
15 years 6 months ago
Petri nets with causal time for system verification
We present a new approach to the modelling of time constrained systems. It is based on untimed high-level Petri nets using the concept of causal time. With this concept, the progr...
Cécile Bui Thanh, Hanna Klaudel, Franck Pom...
ISJ
2002
212views more  ISJ 2002»
15 years 6 months ago
Assessing and managing the benefits of enterprise systems: the business manager's perspective
This paper focuses on the benefits that organizations may achieve from their investment in enterprise systems (ES). It proposes an ES benefit framework for summarizing benefits in ...
Shari Shang, Peter B. Seddon