6836 search results - page 183 / 1368 » Modelling Web-Oriented Architectures |
121
click to vote
EURODAC
1994
IEEE
15 years 8 months ago
1994
IEEE
System-levelpartitioning assigns functionalobjects such as tasks or code segments to system-level components such as o-the-shelf processors or application-speci c architectures in...
130
Voted
ITP
2010
15 years 7 months ago
2010
Abstract. This paper presents a new HOL4 formalization of the current ARM instruction set architecture, ARMv7. This is a modern RISC architecture with many advanced features. The f...
116
click to vote
IADIS
2004
15 years 5 months ago
2004
There has been research on the areas of on-line and mobile service domains both in the business research discipline and the technology discipline. Some of the research has concent...
114
click to vote
DSN
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper proposes a formally well-rooted and extensible framework for dependability evaluation: Arcade (architectural dependability evaluation). It has been designed to combine ...
132
click to vote
DSVIS
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. The UML is recognized to be the dominant diagrammatic modeling language in the software industry. However, it’s support for building interactive systems is still acknow...