3828 search results - page 232 / 766 » Proof-Based System Engineering Using a Virtual System Model |
182
click to vote
ECRTS
2003
IEEE
15 years 11 months ago
2003
IEEE
Advances in scheduling theory have given designers of control systems greater flexibility over their choice of timing requirements. This could lead to systems becoming more respon...
221
click to vote
ADL
2000
Springer
15 years 11 months ago
2000
Springer
A mediator system is a kind of a meta-search engine that provides a seamlessly integrated search service for diverse search engines (collections). Since collections of a mediator ...
135
click to vote
HICSS
2006
IEEE
16 years 17 days ago
2006
IEEE
The rise of distributed collaborative environments has brought about new opportunities for bringing together the experience and skills of geographically dispersed employees toward...
143
click to vote
ADAEUROPE
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Ada 95 has been the first standardized language to include distribution in the core language itself. However, the set of features required by the Distributed Systems Ann...
145
click to vote
COMPSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
: We concentrate on two major aspects of reactive system design: behavior control and modularity. These are studied from a formal point of view, within the framework of action syst...