2152 search results - page 197 / 431 » An Abstract Account of Composition |
154
click to vote
DSD
2006
IEEE
16 years 19 days ago
2006
IEEE
System Level Design (SLD) is widely seen as a solution for bridging the gap between chip complexity and design productivity of Systems on Chip (SoC). SLD relieves the designer fro...
179
click to vote
ISORC
2005
IEEE
16 years 5 days ago
2005
IEEE
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
166
click to vote
RE
2005
Springer
16 years 2 days ago
2005
Springer
Existing requirements engineering approaches manage broadly scoped requirements and constraints in a fashion that is largely two-dimensional, where functional requirements serve a...
155
click to vote
SOCO
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. The need to use position-dependent parameters often hamdefinition of flexible, extensible, and reusable abstractions for software composition. This observation has led ...
152
click to vote
APLAS
2004
ACM
16 years 19 hour ago
2004
ACM
With generic functional programming techniques, we have eased GUI programming by constructing a programming toolkit with which one can create GUIs in an abstract and compositional ...