1719 search results - page 196 / 344 » Software Re-Documentation Process and Tool |
135
Voted
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
A key question in the field of agent-oriented software engineering is how the kind and extent of autonomy owned by computational agents can be appropriately captured. As long as ...
150
click to vote
CRYPTO
2012
Springer
13 years 6 months ago
2012
Springer
We describe a working implementation of leveled homomorphic encryption (without bootstrapping) that can evaluate the AES-128 circuit in three different ways. One variant takes und...
127
click to vote
EDOC
2003
IEEE
15 years 9 months ago
2003
IEEE
Model-driven architectures (MDA) separate the business or application logic from the underlying platform technology and represent this logic with precise semantic models. These mo...
128
click to vote
FOSSACS
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. We study the expressiveness of the join calculus by comparison with (generalised, coloured) Petri nets and using tools from type theory. More precisely, we consider four ...
168
click to vote
RE
2001
Springer
15 years 8 months ago
2001
Springer
pture, at different levels of abstraction, the various objectives the system under consideration should achieve. Goal-oriented requirements engineering is concerned with the use o...