113 search results - page 9 / 23 » Interface contracts for TinyOS |
AGENTS
2001
Springer
14 years 4 days ago
2001
Springer
We present and implement an infrastructure for automating the negotiation of business contracts. Underlying our system is a declarative language for both (1) fully-specified, exe...
SAC
2008
ACM
13 years 7 months ago
2008
ACM
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed to improve functional software correctness of Java app...
FSEN
2009
Springer
13 years 11 months ago
2009
Springer
The rCOS modeler implements the requirements modelling phase of a model driven component-based software engineering process. Components are specified in rCOS, a relational calculus...
SCS
2003
13 years 9 months ago
2003
Architectural based approaches to designing software are motivating changes in the way software is developed for safety-critical systems. These new approaches allow developers to d...
ACSAC
2005
IEEE
14 years 1 months ago
2005
IEEE
Fine-grained and expressive access control policies on application resources need to be enforced in applicationlevel code. Uniformly enforcing a single policy (referred to as the ...