2106 search results - page 112 / 422 » Specifying C concepts |
CONCUR
1999
Springer
14 years 2 months ago
1999
Springer
Statecharts is a visual language for specifying the behavior of reactive systems. The language extends nite-state machines with concepts of hierarchy, concurrency, and priority. De...
LOPSTR
1999
Springer
14 years 2 months ago
1999
Springer
Abstract. A formal and effective approach to the extension of the computational behaviour of logic programs is presented. The approach builds upon the following concepts. The exte...
CGI
1997
IEEE
14 years 2 months ago
1997
IEEE
A methodology for controlling uid animations is developed using the concept of an embedded controller. A controller acts as an interface between the animator and a general tool fo...
WETICE
1996
IEEE
14 years 2 months ago
1996
IEEE
This paper describes a security architecture designed to support role-based access control for distributed object systems in a large-scale, multi-organisational enterprise in whic...
DAC
1996
ACM
14 years 2 months ago
1996
ACM
-- This paper presents an efficient method for the timing verification of concurrent systems, modeled as labeled Timed Petri nets. The verification problems we consider require us ...