7452 search results - page 1108 / 1491 » A Semantics for Multiprocessor Systems |
182
click to vote
PADL
2000
Springer
15 years 10 months ago
2000
Springer
In this paper, we demonstrate how Functional Reactive Programming (FRP), a framework for the description of interactive systems, can be extended to encompass parallel systems. FRP ...
209
click to vote
UML
2000
Springer
15 years 10 months ago
2000
Springer
Descriptions of reactive systems focus heavily on behavioral aspects, often in terms of scenarios. To cope with the increasing complexity of services provided by these systems, beh...
192
click to vote
UML
2000
Springer
15 years 10 months ago
2000
Springer
The UML is recognized to be the dominant diagrammatic modeling language in the software industry. However, it's support for building interactive systems is still acknowledged ...
186
click to vote
MOBISYS
2010
ACM
15 years 9 months ago
2010
ACM
Docx2Go is a new framework to support editing of shared documents on mobile devices. Three high-level requirements influenced its design -- namely, the need to adapt content, espe...
169
Voted
ELPUB
2008
ACM
15 years 8 months ago
2008
ACM
In this paper, we present our online summarization system of web topics. The user defines the topic by a set of keywords. Then the system searches the Web for the relevant documen...