1435 search results - page 81 / 287 » CASE Support and Model-Based Development |
COR
2007
13 years 8 months ago
2007
Disruptions in trips can prevent vehicles from executing their schedules as planned. Mechanical failures, accidents, and traffic congestion often hinder a vehicle schedule. When a...
HPTS
1993
14 years 1 months ago
1993
Elements of transaction processing become more and more accepted as a base for general purpose distributed computing.We have developed an action concept with an extended functiona...
CHI
2009
ACM
14 years 9 months ago
2009
ACM
In this case study, we describe our use of ECT, a tool intended to simplify the design and development of network-spanning applications. We have used ECT throughout the course of ...
HASE
2007
IEEE
14 years 24 days ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...
OOPSLA
2010
Springer
13 years 6 months ago
2010
Springer
The usage of optimistic version control systems comes along with cumbersome and time-consuming conflict resolution in the case that the modifications of two developers are contrad...