7080 search results - page 242 / 1416 » Designing High Integrity Systems Using Aspects |
176
click to vote
DL
1997
Springer
15 years 10 months ago
1997
Springer
We describe a case study in the design of a user interface to a digital library. Our design stems from a vision of a library as a channel to the vast array of digital information ...
174
click to vote
CLUSTER
2000
IEEE
15 years 11 months ago
2000
IEEE
Agilent Technologies Boeblingen Verification Solutions is offering a variety of remote system management products. This paper will summarize the key technologies on which Agilents...
130
click to vote
ICRA
2003
IEEE
15 years 12 months ago
2003
IEEE
― This paper describes a new docking system called Compliant-And-Self-Tightening (CAST) developed as an effective and efficient connector for joining and releasing modules of sel...
211
click to vote
ISAS
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. This paper provides an overview of Proof-Based System Engineering (PBSE), which aims at improving the current practice of developing computer-based systems. PBSE is of pa...
191
click to vote
DOLAP
2010
ACM
15 years 4 months ago
2010
ACM
The integration of OLAP with web-search technologies is a promising research topic. Recommender systems are popular web-search mechanisms, because they can address information ove...