1690 search results - page 157 / 338 » Algorithmic Properties of Millstream Systems |
159
Voted
SASO
2008
IEEE
15 years 11 months ago
2008
IEEE
Publish/subscribe (P/S) is a communication paradigm of growing popularity for information dissemination in largescale distributed systems. The strong decoupling between informatio...
101
click to vote
IUI
2006
ACM
15 years 10 months ago
2006
ACM
Question-answering dialogue systems have found many applications in interactive learning environments. This paper is concerned with one such application for Army leadership traini...
127
click to vote
GI
2004
Springer
15 years 10 months ago
2004
Springer
: Organic Computing is beginning to provide computer systems with organic and biological properties. We believe these systems will benefit from user interfaces that integrate the ...
153
Voted
APSEC
2002
IEEE
15 years 9 months ago
2002
IEEE
Reengineering legacy software systems to object oriented platforms has received significant attention over the past few years. In this paper, we propose a goal driven software mig...
119
click to vote
ARTS
1997
Springer
15 years 8 months ago
1997
Springer
There have been significant advances on formal methods to verify complex systems recently. Nevertheless, these methods have not yet been accepted as a realistic alternative to the ...