4454 search results - page 259 / 891 » Designing components for e-services |
189
click to vote
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. When designing an open system, there might be no implementation available for certain components at verification time. For such systems, verification has to be based on a...
162
click to vote
DEBS
2008
ACM
15 years 8 months ago
2008
ACM
In event stream applications, events flow through a network of components that perform various types of operations, e.g., filtering, aggregation, transformation. When the operatio...
190
click to vote
FORTE
2009
15 years 4 months ago
2009
We consider the following problem: For a system consisting of two components, the behavior of one component is known as well as the desired global behavior. What should be the beha...
150
click to vote
CHI
2002
ACM
16 years 7 months ago
2002
ACM
Hunter Gatherer is a tool that lets Web users carry out three main tasks: (1) collect components from within Web pages; (2) represent those components in a collection; and (3) edi...
145
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—IP-XACT is a well accepted standard for the exchange of IP components at Electronic System and Register Transfer Level. Still, the creation and manipulation of these description...