19986 search results - page 3785 / 3998 » On Designing Software Architectures |
129
Voted
SIGUCCS
2000
ACM
15 years 8 months ago
2000
ACM
The User Services division of the Office of Technology Integration is the "safety net" for computer support at Florida State University (FSU). Areas of support include t...
131
Voted
IUI
1999
ACM
15 years 8 months ago
1999
ACM
We describe an approach to building integrated performance support systems by using model-based task tracking to link performance support tools to video-based organizational memor...
150
Voted
AC
1999
Springer
15 years 8 months ago
1999
Springer
Prior to 1994, student registration at Newcastle University involved students being registered in a single place, where they would present a form which had previously been filled ...
141
Voted
RTSS
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper, we demonstrate a high-level approach to modeling and analyzing complex safety-critical systems through a case study in the area of air traffic management. In partic...
122
Voted
FOSSACS
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. A strong (L) logic programming language ([14, 15]) is given by two subclasses of formulas (programs and goals) of the underlying logic L, provided that: firstly, any pro...