4799 search results - page 745 / 960 » Model Based Requirements Engineering for Embedded Software |
179
click to vote
SACMAT
2006
ACM
16 years 13 days ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
217
click to vote
WSC
2007
15 years 8 months ago
2007
Large scale / mega projects are lengthy complex endeavors that require significant planning by management, engineers and construction personnel to ensure the success of the projec...
189
click to vote
TVCG
2012
13 years 9 months ago
2012
—Vector field visualization techniques have evolved very rapidly over the last two decades, however, visualizing vector fields on complex boundary surfaces from computational ...
194
click to vote
ICAC
2006
IEEE
16 years 16 days ago
2006
IEEE
Traditional High Performance Computing systems require extensive management and suffer from security and configuration problems. This paper presents a new clustermanagement syste...
159
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
The vision of the Semantic Web can only be realized through proliferation of well-known ontologies describing different domains. To enable interoperability in the Semantic Web, it...