3911 search results - page 307 / 783 » Using Operational Architecture to Model Embedded Software |
178
click to vote
CCS
2009
ACM
16 years 1 months ago
2009
ACM
Mandated requirements to share information across different sensitivity domains necessitate the design of distributed architectures to enforce information flow policies while pr...
170
click to vote
FOSSACS
2003
Springer
15 years 12 months ago
2003
Springer
We define an operational semantics and a type system for manipulating semistructured data that contains hidden information. The data model is simple labeled trees with a hiding op...
194
click to vote
WER
2005
Springer
16 years 6 days ago
2005
Springer
Requirement traceability is intended to ensure continued alignment between stakeholders’ requirements and various outputs of the system development process. Therefore a process f...
128
click to vote
ICSEA
2007
IEEE
16 years 1 months ago
2007
IEEE
The development of network-attached devices has ushered in an era of autonomous, multi-function equipment demanding minimal human interaction: the only requirements are data and e...
203
click to vote
PE
2007
Springer
15 years 6 months ago
2007
Springer
The next generation of software systems will be highly distributed, component-based and service-oriented. They will need to operate in unattended mode and possibly in hostile envi...