Sciweavers

1164 search results - page 13 / 233
» Case Studies in Event-Driven Control
Sort
View
IESS
2009
Springer
131views Hardware» more  IESS 2009»
14 years 1 months ago
Characterization of Inaccessibility in Wireless Networks: A Case Study on IEEE 802.15.4 Standard
Wireless technology has been seen as the communication technology of the future. One of many challenges is the support for predictability and time-bounded communications over this ...
Jeferson L. R. Souza, José Rufino
ICSM
2007
IEEE
14 years 2 months ago
Release Pattern Discovery: A Case Study of Database Systems
Studying the release-time activities of a software project — that is, activities that occur around the time of a major or minor release — can provide insights into both the de...
Abram Hindle, Michael W. Godfrey, Richard C. Holt
ICDCSW
2008
IEEE
14 years 2 months ago
Automated Addition of Fault-Tolerance to SCR Toolset: A Case Study
Automated addition of fault-tolerance to existing programs is highly desirable, as it allows the designer to focus on the system behavior in the absence of faults and leave the fa...
Fuad Abujarad, Sandeep S. Kulkarni
FM
1999
Springer
161views Formal Methods» more  FM 1999»
14 years 22 days ago
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination
Abstract. The design of controllers for hybridsystemsi.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
Rajeev Alur, Joel M. Esposito, M. Kim, Vijay Kumar...
FDL
2004
IEEE
14 years 6 days ago
Predictability in Real-time System Development (2) A Case Study
In a companion paper [HVV04], we have investigated the deficiency of existing design approaches in supporting predictability for real-time control system development. A design app...
Jinfeng Huang, Jeroen Voeten, Piet van der Putten,...