321 search results - page 27 / 65 » Specifying Executable Platform-Independent Models using OCL |
RSP
2007
IEEE
15 years 3 months ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
67
Voted
IROS
2008
IEEE
15 years 4 months ago
2008
IEEE
—This paper introduces a new approach to develop robots that can learn general affordance relations from their experiences. Our approach is a part of larger efforts to develop a ...
CAISE
2010
Springer
14 years 9 months ago
2010
Springer
Task delegation presents one of the business process security leitmotifs. It defines a mechanism that bridges the gap between both workflow and access control systems. There are tw...
102
click to vote
TII
2010
14 years 4 months ago
2010
Abstract--Real-time systems are subject to temporal constraints and require a schedulability analysis to ensure that task execution finishes within lower and upper specified bounds...
86
Voted
ICAS
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper addresses the need for designing user interfaces (UIs) to workflow information systems by adopting a model-centric approach. We introduce a conceptual workflow model to...