1124 search results - page 164 / 225 » Refined quorum systems |
HICSS
1999
IEEE
15 years 4 months ago
1999
IEEE
Typically, searching for information in a document collection amounts to refining a query and then scanning a large number of documents to determine their relevance. Active Summar...
137
click to vote
ICS
1992
Tsinghua U.
15 years 4 months ago
1992
Tsinghua U.
CODE 2.0 is a graphical parallel programming system that targets the three goals of ease of use, portability, and production of efficient parallel code. Ease of use is provided by...
101
click to vote
APN
2004
Springer
15 years 3 months ago
2004
Springer
This paper describes concepts and features of a Web-based system called XRL/flower for carrying out Petri-net based workflows described with XRL (eXchangeable Routing Language). XR...
124
click to vote
ATVA
2006
Springer
15 years 3 months ago
2006
Springer
In this paper, we present and illustrate an approach to compositional reasoning for hardware/software co-verification of embedded systems. The major challenges in compositional rea...
101
click to vote
CODES
2001
IEEE
15 years 3 months ago
2001
IEEE
In this paper, we present a proposal for a UML profile called `Embedded UML'. Embedded UML represents a synthesis of various ideas in the real-time UML community, and concept...