8874 search results - page 1560 / 1775 » A New Implementation of Automath |
218
click to vote
MC
2007
2007
Embodied Media and Mixed Reality for Social and Physical Interactive Communication and Entertainment
15 years 8 months ago
This talk outlines new facilities within human media spaces supporting embodied interaction between humans, animals, and computation both socially and physically, with the aim of ...
200
click to vote
BDA
2006
15 years 8 months ago
2006
XML data projection (or pruning) is one of the main optimization techniques recently adopted in the context of main-memory XML query-engines. The underlying idea is quite simple: ...
185
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
Abstract. AMFIBIA is a meta-model that formalizes the essential aspects and concepts of business process modelling. Though AMFIBIA is not the first approach to formalizing the aspe...
181
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
Programming technologies have improved continuously during the last decades, but from an Information Systems perspective, some well-known problems associated to the design and impl...
251
click to vote
MODELLIERUNG
2001
15 years 8 months ago
2001
: Scenarios/use cases have gained wide-spread use over the last couple of years. In software engineering they are mainly used to capture requirements and specify a system. Many sof...