1888 search results - page 355 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
136
click to vote
DOLAP
2008
ACM
15 years 4 months ago
2008
ACM
The development of data warehouses is based on a threestage process that starts specifying both the static and dynamic properties of on-line analytical processing (OLAP) applicati...
172
click to vote
IAAI
2003
15 years 3 months ago
2003
The Broadcast News Editor (BNE) and Broadcast News Navigator (BNN) are fully implemented systems that exploit integrated image, speech, and language processing to support intellig...
165
Voted
PRESENCE
2008
15 years 2 months ago
2008
Effective, real-time training of health care professionals in invasive procedures is a challenging task. Furthermore, assessing in practice the acquisition of the dexterity and sk...
111
click to vote
OOPSLA
2009
Springer
15 years 9 months ago
2009
Springer
In this paper we describe Ginger, a new language with first class support for literate programming. Literate programming refers to a philosophy that argues computer programs shou...
252
click to vote
SIGCOMM
2012
ACM
13 years 4 months ago
2012
ACM
ions for Network Update Mark Reitblatt Cornell Nate Foster Cornell Jennifer Rexford Princeton Cole Schlesinger Princeton David Walker Princeton Configuration changes are a common...