2695 search results - page 357 / 539 » A Visual Approach to Validating System Level Designs |
114
Voted
GPCE
2003
Springer
15 years 8 months ago
2003
Springer
A primary goal of generative programming and model-driven ent is to raise the level of abstraction at which designers and developers interact with the software systems they are bui...
121
Voted
SIGOPS
2008
15 years 3 months ago
2008
The Caernarvon operating system was developed to demonstrate that a high assurance system for smart cards was technically feasible and commercially viable. The entire system has b...
128
click to vote
CEC
2009
IEEE
15 years 10 months ago
2009
IEEE
— This paper explores a process-oriented approach to complex systems design, using massive fine-grained concurrency, mobile channels and mobile processes. The complex systems st...
128
Voted
BPM
2006
Springer
15 years 7 months ago
2006
Springer
In recent years adaptive process management technolgy has emerged in order to increase the flexibility of business process implementations and to support process changes at differe...
139
Voted
CHI
2006
ACM
16 years 4 months ago
2006
ACM
Information worlds continue to grow, posing daunting challenges for interfaces. This paper tries to increase our understanding of approaches to the problem, building on the Genera...