Sciweavers

2625 search results - page 123 / 525
» Applications 2000
Sort
View
HICSS
2000
IEEE
130views Biometrics» more  HICSS 2000»
15 years 8 months ago
Towards a Relationship Navigation Analysis
Many conceptual modeling and system design methodologies provide tools to help system designers to model the real world. No guidelines exist, however, for determining the relation...
Joonhee Yoo, Michael Bieber
IUI
2000
ACM
15 years 8 months ago
A task-based architecture for application-aware adjuncts
Users of complex applications need advice, assistance, and feedback while they work. We are experimenting with “adjunct” user agents that are aware of the history of interacti...
Robert G. Farrell, Peter G. Fairweather, Eric Brei...
ISORC
2000
IEEE
15 years 8 months ago
GLADE: A Framework for Building Large Object-Oriented Real-Time Distributed Systems
This paper describes how GLADE, our implementation of the Ada 95 Distributed Systems Annex, can be used to build large object-oriented real-time distributed systems. In addition t...
Laurent Pautet, Samuel Tardieu
FLAIRS
2000
15 years 5 months ago
Formal Software Development in the Verification Support Environment (VSE)
The paper presents a survey of the VSE system, a kind of CASE-tool for formal software development. It is a summary of a tutorial presentation describing methodology, formalisms, ...
Dieter Hutter, Georg Rock, Jörg H. Siekmann, ...
ICMCS
2000
IEEE
124views Multimedia» more  ICMCS 2000»
15 years 8 months ago
A Gateway-Assisted Approach Toward QoS Adaptations
In this paper, we present a gateway-assisted QoS adaptation framework which satisfies high-level QoS application guarantees. We validate this framework via a distributed tracking...
William Kalter, Baochun Li, Won Jong Jeon, Klara N...