7202 search results - page 985 / 1441 » Software System Engineering: A Tutorial |
229
click to vote
EMSOFT
2010
Springer
15 years 4 months ago
2010
Springer
Abstract--Cyber-Physical Systems require distributed architectures to support safety critical real-time control. Kopetz' Time-Triggered Architectures (TTA) have been proposed ...
209
click to vote
FSTTCS
2010
Springer
15 years 4 months ago
2010
Springer
We consider the problem of model checking message-passing systems with real-time requirements. As behavioural specifications, we use message sequence charts (MSCs) annotated with ...
163
click to vote
FSTTCS
2010
Springer
15 years 4 months ago
2010
Springer
a is an abstract framework for the uniform study of different kinds of dynamical systems. An endofunctor F determines both the type of systems (F-coalgebras) and a notion of behav...
204
click to vote
SERP
2010
15 years 4 months ago
2010
As the use of online business systems increase so does the need to produce more efficient and less error prone web based Modeling is a core abstraction mechanism used to manage co...
170
click to vote
UIST
2010
ACM
15 years 4 months ago
2010
ACM
We describe Chronicle, a new system that allows users to explore document workflow histories. Chronicle captures the entire video history of a graphical document, and provides lin...