376 search results - page 57 / 76 » A Controlled Language for the Specification of Contracts |
CORR
2002
Springer
13 years 6 months ago
2002
Springer
This paper studies the problem of modeling complex domains of actions and change within highlevel action description languages. We investigate two main issues of concern: (a) can ...
WWW
2001
ACM
14 years 7 months ago
2001
ACM
Integrity constraints are an essential part of a modern schema definition language. They are useful for semantic specification, update consistency control, query optimization, inf...
SIGCSE
2009
ACM
14 years 7 months ago
2009
ACM
We have developed a CS1 curriculum that uses a robotics context to teach introductory programming [1]. Core to our approach is that each student has their own personal robot. Our ...
RULEML
2009
Springer
14 years 1 months ago
2009
Springer
The main idea in this paper is to show how flexible processes can be designed by combining generic process templates and business rules. We instantiate a process by applying rules ...
IEEEARES
2007
IEEE
14 years 1 months ago
2007
IEEE
The most important part of a firewall configuration process is the implementation of a security policy by a security administrator. However, this security policy is not designed b...