7080 search results - page 282 / 1416 » Designing High Integrity Systems Using Aspects |
102
Voted
JVCA
2007
15 years 3 months ago
2007
This paper proposes a novel tabletop display system for natural communication and flexible information sharing. The proposed system is specifically designed to integrate two-dim...
125
click to vote
DOLAP
2005
ACM
15 years 5 months ago
2005
ACM
Data warehouses and OLAP systems help to interactively analyze huge volume of data. This data, extracted from transactional databases, frequently contains spatial information whic...
140
Voted
HPDC
2000
IEEE
15 years 7 months ago
2000
IEEE
We describe a software architecture for storage services in computational grid environments. Based upon a lightweight message-passing paradigm, the architecture enables the provis...
168
Voted
HIM
1997
Springer
15 years 7 months ago
1997
Springer
The growing popularity of hypertext navigation systems and the availability of large documentary databases is leading to the design of navigation systems that allow to explore the...
162
Voted
KBS
2006
2006
Facilitating formal specification acquisition by using recursive functions on context-free languages
15 years 3 months ago
Although formal specification techniques are very useful in software development, the acquisition of formal specification is a difficult task. This paper presents the formal softw...