1516 search results - page 202 / 304 » Trends in Software Verification |
112
click to vote
EDBTW
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. On-Line Analytical Processing (OLAP) is a trend in database technology, based on the multidimensional view of data. Numerous applications and development environments exi...
LCPC
2004
Springer
15 years 3 months ago
2004
Springer
As computing platforms become more and more complex, the task of optimizing performance critical codes becomes more challenging. Recently, more attention has been focused on automa...
AUIC
2000
IEEE
15 years 2 months ago
2000
IEEE
A trend in computing environments today is to move towards more ‘natural’ interaction, another is to make hardware invisible to the user. Both these ideas converge into ubiqui...
FM
1999
Springer
15 years 2 months ago
1999
Springer
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
UIST
1998
ACM
15 years 2 months ago
1998
ACM
We describe a new method and implementation for managing information through the use of physical objects. In today’s networked world, the trend is toward working in a global vir...