1150 search results - page 201 / 230 » Specifying Information-Flow Controls |
ECAI
2010
Springer
13 years 6 months ago
2010
Springer
The language of linear temporal logic (LTL) has been proposed as a formalism for specifying temporally extended goals and search control constraints in planning. However, the seman...
GLOBECOM
2010
IEEE
13 years 6 months ago
2010
IEEE
While in computer networks the number of possible protocol encapsulations is growing day after day, network administrators face ever increasing difficulties in selecting accurately...
TRIDENTCOM
2010
IEEE
13 years 5 months ago
2010
IEEE
Within the framework of the BONE European Network of Excellence, we setup a multi-domain multi-layer testbed covering three different networks at two distinct locations in Europe. ...
ICST
2009
IEEE
13 years 5 months ago
2009
IEEE
Manual reviews and inspections of software artefacts are time consuming and thus, automated analysis tools have been developed to support the quality assurance of software artefac...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
We present an architecture of a hosting system consisting of a set of hosted Web Services subject to QoS constraints, and a certain number of servers used to run users demand. The ...