695 search results - page 44 / 139 » Linking Business Modelling to Socio-technical System Design |
154
click to vote
FMCO
2008
Springer
15 years 7 months ago
2008
Springer
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...
156
click to vote
SAC
2010
ACM
15 years 5 months ago
2010
ACM
Service-based systems can be modeled as stand-alone services coordinated by external connectors. Reo is a channelbased coordination language with well-defined semantics that enabl...
183
click to vote
WCRE
2009
IEEE
16 years 4 days ago
2009
IEEE
—Object-oriented software quality models usually use metrics of classes and of relationships among classes to assess the quality of systems. However, software quality does not de...
167
click to vote
ACSW
2007
15 years 6 months ago
2007
Low latency anonymous network systems, such as Tor, were considered secure against timing attacks when the threat model does not include a global adversary. In this threat model t...
153
click to vote
DESRIST
2010
Springer
15 years 7 months ago
2010
Springer
This paper reports on the design of a collaborative system to support citizens' advisory services. Recent research on the adoption of collaborative technologies indicates that...