685 search results - page 109 / 137 » Implementing Controlled Languages in GF |
TOMS
1998
13 years 9 months ago
1998
This paper presents the software architecture and implementation of the problem solving environment (PSE) PELLPACK for modeling physical objects described by partial differential ...
TLDI
2009
ACM
14 years 6 months ago
2009
ACM
Type-and-effect systems are a natural approach for statically reasoning about a program’s execution. They have been used to track a variety of computational effects, for example...
DASFAA
2009
IEEE
14 years 4 months ago
2009
IEEE
Abstract. The lack of flexibility is often seen as an inhibitor for the successful application of workflow technology. Many researchers have proposed different ways of addressin...
ICAS
2009
IEEE
14 years 4 months ago
2009
IEEE
Policies form an important part of management and can be an effective means of implementing self-adaptation in pervasive systems. Most policy-based systems focus on large-scale ne...
ACSAC
2007
IEEE
14 years 4 months ago
2007
IEEE
Jails, Sandboxes and other isolation mechanisms limit the damage from untrusted programs by reducing a process’s privileges to the minimum. Sandboxing is designed to thwart such...