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 9 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»
16 years 24 days 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 10 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
15 years 7 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
15 years 1 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