4469 search results - page 155 / 894 » A Language for Role Specifications |
133
click to vote
ACL
1989
15 years 5 months ago
1989
In BBN's natural language understanding and generation system (Janus), we have used a hybrid approach to representation, employing an intensional logic for the representation...
122
click to vote
SIGSOFT
2008
ACM
16 years 5 months ago
2008
ACM
Exception handling and replication are two mechanisms that increase software reliability. Exception handling helps programmers control situations in which the normal flow of a pro...
135
click to vote
SOSE
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper, we introduce a simple but formal service description language (ForSeL) for modelbased requirements engineering. The basic notion in ForSeL is a service representing...
137
click to vote
FDL
2005
IEEE
15 years 10 months ago
2005
IEEE
To address performance limitations and expand their applications range, emerging and mature display technologies rely on the design of novel display controllers. Under current mod...
139
click to vote
DATE
2000
IEEE
15 years 9 months ago
2000
IEEE
We integrate data and control flow at the system specification level, using the two specialized and well established languages Matlab and SDL. For this we provide a modeling techn...