1525 search results - page 114 / 305 » Formal Models for Communication-Based Design |
ER
2007
Springer
14 years 2 months ago
2007
Springer
Business process models play an important role for the management, design, and improvement of process organizations and process-aware information systems. Despite the extensive ap...
FASE
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Organizations use Role-Based Access Control (RBAC) to protect computer-based resources from unauthorized access. There has been considerable work on formally specifying R...
ISARCS
2010
14 years 4 days ago
2010
Abstract. Software designs equipped with specification of dependability techniques can help engineers to develop critical systems. In this work, we start to envision how a softwar...
ICSE
2007
IEEE-ACM
14 years 8 months ago
2007
IEEE-ACM
Abstract. In software architecture, components represent the computational units of a system and connectors represent the interactions among those units. Making decisions about the...
FDL
2007
IEEE
14 years 1 days ago
2007
IEEE
Abstract-- Analog and Mixed Signal (AMS) designs are important integrated systems that link digital circuits to the analog world. Following the success of PSL verification methodol...