3239 search results - page 530 / 648 » A Logical Process Calculus |
98
Voted
IJDAR
2006
15 years 23 days ago
2006
Tables are a ubiquitous form of communication. While everyone seems to know what a table is, a precise, analytical definition of "tabularity" remains elusive because some...
110
Voted
CORR
2007
Springer
15 years 22 days ago
2007
Springer
In a data warehousing process, the data preparation phase is crucial. Mastering this phase allows substantial gains in terms of time and performance when performing a multidimensio...
116
Voted
TKDE
2008
15 years 20 days ago
2008
Today more and more security-relevant data is stored on computer systems; security-critical business processes are mapped to their digital counterparts. This situation applies to ...
VLSISP
2008
15 years 19 days ago
2008
Many different video processor architectures exist. Its architecture gives a processor strength for a particular application. Hardwired logic yields the best performance/cost, but ...
113
click to vote
FAC
2000
15 years 17 days ago
2000
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...