4227 search results - page 512 / 846 » Philosophical Conceptions of Information |
224
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended ...
202
click to vote
BPM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper aims at carrying out business process modelling and business process improvement using TAD methodology. The methodology consists of six phases; the first three...
201
click to vote
CSEE
2006
Springer
15 years 9 months ago
2006
Springer
In this paper we describe the use of a tool from Viope for teaching introductory programming. We have noticed in our previous courses that the students often have trouble connecti...
227
click to vote
CVPR
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper we present a novel 3D surface and image reconstruction method based on the off-axis aperture camera. The key idea is to change the size or the 3-D location of the ap...
217
click to vote
FASE
2008
Springer
15 years 9 months ago
2008
Springer
If we model a family of software applications with a feature model and an architecture model, we are describing the same subject from different perspectives. Hence, we are running ...