Search Sciweavers | Sciweavers

15644 search results - page 232 / 3129

» Brittle System Analysis

175

click to vote

FMCO
2008
Springer

167views Formal Methods» more FMCO 2008»

Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems

15 years 8 months ago

Download homepages.cwi.nl

In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...

Natallia Kokash, Farhad Arbab

claim paper

Read More »

131

click to vote

FMICS
2008
Springer

91views Formal Methods» more FMICS 2008»

Using Datalog and Boolean Equation Systems for Program Analysis

15 years 8 months ago

Download users.dsic.upv.es

María Alpuente, Marco A. Feliú, Chri...

claim paper

Read More »

126

Voted

PARCO
2007

126views Distributed And Parallel Com...» more PARCO 2007»

Analysis of the Weather Research and Forecasting (WRF) Model on Large-Scale Systems

15 years 8 months ago

Download www.fz-juelich.de

Darren J. Kerbyson, Kevin J. Barker, Kei Davis

claim paper

Read More »

118

click to vote

AAAI
2004

85views Intelligent Agents» more AAAI 2004»

Multi-Agent System Development: Design, Runtime, and Analysis

15 years 8 months ago

Download www.aaai.org

K. Suzanne Barber, Jaesuk Ahn, Karen Fullam, Thoma...

claim paper

Read More »

117

click to vote

DGO
2004

74views Education» more DGO 2004»

DOAS: A Drought Online Analysis System with Constraint Databases

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers