3775 search results - page 429 / 755 » The Expression Problem Revisited |
153
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper examines the task of constructing boundedtime self-stabilizing rule-based systems that take their input from an external environment. Bounded response-time and self-sta...
152
click to vote
APSEC
1999
IEEE
15 years 11 months ago
1999
IEEE
Software architecture analysis helps us assess the quality of a software system at an early stage. In this paper we describe a case study of software architecture analysis that we...
162
click to vote
UIST
1999
ACM
15 years 11 months ago
1999
ACM
Nested User Interface Components combine the concepts of Zooming User Interfaces (ZUIs) with recursive nesting of active graphical user interface widgets. The resulting system of ...
192
Voted
CP
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. In this paper, we present a major improvement in the search procedures in constraint programming. First, we integrate various search procedures from AI and OR. Second, we...
189
click to vote
KBSE
1999
IEEE
15 years 11 months ago
1999
IEEE
Many domain specialists are not familiar or comfortable with formal notations and formal tools like theorem provers or model generators. To address this problem we developed Attem...