Sciweavers

194 search results - page 32 / 39
» Towards A Formal Framework for Business Process Compliance
Sort
View
IM
2007
13 years 10 months ago
A decision support tool to optimize scheduling of IT changes
— Change management is one of the most critical processes in IT management. Some of the reasons are the sheer number of changes and the difficulty of evaluating the impact of cha...
Rodrigo Rebouças, Jacques Philippe Sauv&eac...
FINTAL
2006
14 years 6 days ago
Regular Approximation of Link Grammar
We present a regular approximation of Link Grammar, a dependency-type formalism with context-free expressive power, as a first step toward a finite-state joint inference system. Th...
Filip Ginter, Sampo Pyysalo, Jorma Boberg, Tapio S...
CAISE
2003
Springer
14 years 1 months ago
Leveraging Web-Services and Peer-to-Peer Networks
Abstract. Peer-oriented computing is an attempt to weave interconnected machines into the fabric of the Internet. Service-oriented computing (exemplified by web-services), on the ...
Mike P. Papazoglou, Bernd J. Krämer, Jian Yan...
IRI
2008
IEEE
14 years 3 months ago
Model check stochastic supply chains
—Supply chain [2], [6] is an important component of business operations. Understanding its stochastic behaviors is the key to risk analysis and performance evaluation in supply c...
Li Tan, Shenghan Xu
ICWS
2009
IEEE
14 years 5 months ago
A Policy-Based Middleware for Web Services SLA Negotiation
Negotiation of Service Level Agreements (SLAs) is very important for maintaining Quality of Service (QoS) of composite Web services-based business processes. The process of negoti...
Farhana H. Zulkernine, Patrick Martin, Chris Cradd...