1139 search results - page 212 / 228 » Aligning Goal Models and Business Models - extended abstract |
104
click to vote
ICRA
2005
IEEE
15 years 5 months ago
2005
IEEE
— In this paper, we consider the problem of robot motion planning in order to satisfy formulas expressible in temporal logics. Temporal logics naturally express traditional robot...
CTRSA
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We consider a statistical database in which a trusted administrator introduces noise to the query responses with the goal of maintaining privacy of individual database en...
IVA
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. This paper presents a set of mechanisms oriented to incorporate social information into the decision taking of task-oriented 3DIVA. The aim of this approach is to integra...
LOPSTR
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. A concept of annotations for rendering procedural aspects of Prolog is presented, built around wellknown procedural concepts of Standard Prolog. Annotations describe prop...
CRYPTO
1998
Springer
15 years 4 months ago
1998
Springer
ded abstract of this paper appears in Advances in Cryptology { Crypto 98 Proceedings, Lecture Notes in Computer Science Vol. 1462, H. Krawczyk ed., Springer-Verlag, 1998. This is t...