2171 search results - page 116 / 435 » Cooperative Validation in Distributed Control Systems Design |
106
click to vote
ICSE
2003
IEEE-ACM
16 years 1 months ago
2003
IEEE-ACM
Software systems development happens within a context which organizational processes are wellestablished. Hence, software needs to be built with flexible architectures based in so...
105
click to vote
FBT
1998
15 years 3 months ago
1998
We build on work in designing modeling languages for hybrid systems in the development of CTA, the Cottbus Timed Automata. Our design features a facility to specify a hybrid system...
DATE
2005
IEEE
15 years 7 months ago
2005
IEEE
— A formal methodology for the analysis of a closed loop clock distribution and active deskewing network is proposed. In this paper an active clock distribution and deskewing net...
204
click to vote
FAST
2011
14 years 5 months ago
2011
Elasticity of cloud computing environments provides an economic incentive for automatic resource allocation of stateful systems running in the cloud. However, these systems have t...
EICS
2009
ACM
15 years 8 months ago
2009
ACM
Adaptive groupware systems support changes in users’ locations, devices, roles and collaborative structure. Developing such systems is difficult due to the complex distributed ...