Sciweavers

1511 search results - page 32 / 303
» An approach to control collaborative processes in PLM system...
Sort
View
CDC
2009
IEEE
127views Control Systems» more  CDC 2009»
15 years 1 months ago
Model driven design in industrial automation
—Current industrial applications demand the design of more and more complex, safe and trustworthy control systems which exhibit a high degree of flexibility and reutilization. To...
Elisabet Estevez, Isabel Sarachaga, Federico Perez...
FM
2009
Springer
104views Formal Methods» more  FM 2009»
15 years 4 months ago
Verifying Information Flow Control over Unbounded Processes
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
William R. Harris, Nicholas Kidd, Sagar Chaki, Som...
EICS
2010
ACM
15 years 2 months ago
COMM notation for specifying collaborative and multimodal interactive systems
Multi-user multimodal interactive systems involve multiple users that can use multiple interaction modalities. Although multi-user multimodal systems are becoming more prevalent (...
Frédéric Jourde, Yann Laurillau, Lau...
ICWS
2007
IEEE
14 years 11 months ago
A Situation-aware Access Control based Privacy-Preserving Service Matchmaking Approach for Service-Oriented Architecture
Service matchmaking is an important process in the operation of Service-Oriented Architecture (SOA) based systems. In this process, information from both service providers and req...
Stephen S. Yau, Junwei Liu
IMCSIT
2010
14 years 4 months ago
Service level agreements for job control in high-performance computing
A key element for outsourcing critical parts of a business process in Service Oriented Architectures are Service Level Agreements (SLAs). They build the key element to move from so...
Roland Kübert, Stefan Wesner