2106 search results - page 112 / 422 » Specifying C concepts |
101
click to vote
CONCUR
1999
Springer
15 years 7 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...
108
click to vote
LOPSTR
1999
Springer
15 years 7 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...
114
click to vote
CGI
1997
IEEE
15 years 7 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...
129
click to vote
WETICE
1996
IEEE
15 years 7 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...
139
click to vote
DAC
1996
ACM
15 years 7 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 ...