1305 search results - page 27 / 261 » The design context of concurrent computation systems |
GPCE
2007
Springer
15 years 3 months ago
2007
Springer
Every notion of a component for the development of embedded systems has to take heterogeneity into account: components may be hardware or software or OS, synchronous or asynchrono...
DSVIS
2000
Springer
15 years 1 months ago
2000
Springer
This paper presents an example of how software architectures can encode temporal properties as well as the traditional structural ones. In the context of expressing concurrency con...
CHI
2003
ACM
15 years 9 months ago
2003
ACM
Despite recent advances in natural language question answering technology, the problem of designing effective user interfaces has been largely unexplored. We conducted a user stud...
110
click to vote
C3S2E
2008
ACM
14 years 10 months ago
2008
ACM
Software systems bridge the gap between information processing needs and available computer hardware. As system requirements grow in complexity and hardware evolves, the gap does ...
EUROMICRO
1998
IEEE
15 years 1 months ago
1998
IEEE
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...