1399 search results - page 207 / 280 » A Component Model for Control-Intensive Distributed Embedded... |
120
Voted
CAV
2006
Springer
15 years 6 months ago
2006
Springer
We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stocha...
101
click to vote
CAD
2004
Springer
15 years 2 months ago
2004
Springer
A concurrent engineering-oriented design database representation model (CE-DDRM) is introduced in this research for supporting various life-cycle aspects in concurrent design. In ...
107
Voted
EDOC
2006
IEEE
15 years 8 months ago
2006
IEEE
— An enterprise architecture is intended to be a comprehensive blueprint describing the key components and relationships for an enterprise from strategies to business processes t...
125
click to vote
JWSR
2006
15 years 2 months ago
2006
: A PSE toolkit is a group of technologies within a software architecture through which multiple PSEs can be built for different application domains. The effective use of a PSE too...
151
Voted
PDPTA
2004
15 years 3 months ago
2004
Grid computing and cluster computing platforms are becoming the primary development platforms for pervasive computing. The primary problem associated with both computational grids...