1435 search results - page 81 / 287 » CASE Support and Model-Based Development |
120
Voted
COR
2007
15 years 2 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...
165
Voted
HPTS
1993
15 years 6 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...
101
click to vote
CHI
2009
ACM
16 years 2 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 ...
131
click to vote
HASE
2007
IEEE
15 years 6 months 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...
132
click to vote
OOPSLA
2010
Springer
15 years 4 days 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...