2639 search results - page 301 / 528 » Improving Web Design Methods with Architecture Modeling |
159
click to vote
FORMATS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. The design of critical embedded real-time systems requires high confidence in the architecture and the implemented functionalities. Classically, such functions are suppor...
116
click to vote
IPPS
2000
IEEE
15 years 9 months ago
2000
IEEE
In this paper, we propose a method which enables us to construct almost optimal broadcast schemes on an n-dimensional hypercube in the circuit switched, -port model. In this mode...
158
click to vote
DAC
1996
ACM
15 years 9 months ago
1996
ACM
-- This paper presents an efficient method for the timing verification of concurrent systems, modeled as labeled Timed Petri nets. The verification problems we consider require us ...
139
click to vote
JOT
2006
15 years 5 months ago
2006
Framework development is very expensive, not only because of the intrinsic difficulty related to capturing the domain knowledge, but also because of the lack of appropriate method...
129
click to vote
ESWS
2009
Springer
15 years 11 months ago
2009
Springer
: Earth Observations (EO) collect various characteristics of the objective environment using sensors which often have different measuring, spatial and temporal coverage. Making ind...