1297 search results - page 87 / 260 » Control of systems integrating logic, dynamics, and constrai... |
109
click to vote
IEEEAMS
2003
IEEE
15 years 6 months ago
2003
IEEE
Service morphing is a set of techniques used to continuously meet an application’s Quality of Service (QoS) needs, in the presence of run-time variations in service locations, p...
119
click to vote
CORR
1999
Springer
15 years 1 months ago
1999
Springer
We propose a parser for constraintlogic grammars implementing HPSG that combines the advantages of dynamic bottom-up and advanced topdown control. The parser allows the user to ap...
102
click to vote
BIRTHDAY
2005
Springer
15 years 7 months ago
2005
Springer
This paper proposes a Compiled Labelled Deductive System, called ACCLDS, for reasoning about role-based access control in distributed systems, which builds upon Massacci’s tablea...
118
click to vote
CP
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Searching objects within a catalog is a problem of increasing importance, as the general public has access to increasing volumes of data. Constraint programming has addre...
126
click to vote
DEDS
1998
15 years 1 months ago
1998
In this paper, timed Petri nets are used to model and control hybrid systems. Petri nets are used instead of finite automata primarily because of the advantages they offer in de...