7080 search results - page 242 / 1416 » Designing High Integrity Systems Using Aspects |
135
Voted
DL
1997
Springer
15 years 7 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 ...
114
click to vote
CLUSTER
2000
IEEE
15 years 7 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...
ICRA
2003
IEEE
15 years 8 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...
161
click to vote
ISAS
2005
Springer
15 years 8 months 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...
150
Voted
DOLAP
2010
ACM
15 years 18 days 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...