9511 search results - page 1559 / 1903 » Selected Design Issues |
172
click to vote
OTM
2007
Springer
16 years 29 days ago
2007
Springer
The entities participating in a context-aware service platform need to establish and manage trust relationships in order to assert different trust aspects including identity provis...
161
click to vote
PEPM
2007
ACM
16 years 28 days ago
2007
ACM
A logic program strongly quasi-terminates when only a finite number of distinct atoms (modulo variable renaming) are derivable from any given query and computation rule. This noti...
186
click to vote
REFSQ
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Constrained Natural Languages (CNLs) are becoming an increasingly popular way of writing technical documents such as requirements specifications. This is because CNLs aim...
199
click to vote
ROBOCUP
2007
Springer
16 years 28 days ago
2007
Springer
Reinforcement learning is a paradigm under which an agent seeks to improve its policy by making learning updates based on the experiences it gathers through interaction with the en...
194
click to vote
SAFECOMP
2007
Springer
16 years 28 days ago
2007
Springer
A strategy and relating activities of a software safety analysis (SSA) are presented for the software of a digital reactor protection system where software modules in the design de...