1010 search results - page 66 / 202 » Designing Then and Now |
ACSD
2001
IEEE
15 years 2 months ago
2001
IEEE
One of the corner stones of formal methods is the notion traction enables analysis. By the construction of act model we can trade implementation detail for analytical power. The i...
ADBIS
1995
Springer
15 years 2 months ago
1995
Springer
One of the most important operations in spatial access needed systems are spatial joins. Using for processing such operations R-tree like structures is intensively studies now. Th...
AISC
2008
Springer
15 years 1 months ago
2008
Springer
Kenzo is a symbolic computation system devoted to Algebraic Topology. It has been developed by F. Sergeraert mainly as a research artifact. The challenge is now to increase the nu...
BPM
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. By now, the mapping from BPMN to BPEL has been implemented in numerous tools, greatly assisting the business architect in the creation of BPEL processes. However, most of...
HCI
2007
15 years 17 days ago
2007
This paper describes an experimental comparison of three variants of a meeting browser. This browser incorporates innovative, multimodal technologies to enable storage and smart re...