Sciweavers

2595 search results - page 405 / 519
» Modes in Asynchronous Systems
Sort
View
CSMR
2006
IEEE
16 years 15 days ago
Package Patterns for Visual Architecture Recovery
Recovering the architecture is the first step towards reengineering a software system. Many reverse engineering tools use top-down exploration as a way of providing a visual and ...
Mircea Lungu, Michele Lanza, Tudor Gîrba
ATVA
2005
Springer
111views Hardware» more  ATVA 2005»
15 years 12 months ago
Model Checking Prioritized Timed Automata
Abstract. Priorities are often used to resolve conflicts in timed systems. However, priorities are not directly supported by state-of-art model checkers. Often, a designer has to ...
Shang-Wei Lin, Pao-Ann Hsiung, Chun-Hsian Huang, Y...
HYBRID
2004
Springer
15 years 11 months ago
Full Paper Sheet Control Using Hybrid Automata
Some high speed color printers require that the sheets be accurately controlled in order to achieve a precise alignment of colors. To accomplish this goal a steerable nips mechanis...
Rene Sanchez, Roberto Horowitz, Masayoshi Tomizuka...
ICCS
2004
Springer
15 years 11 months ago
Distributed Collaborative Adaptive Sensing for Hazardous Weather Detection, Tracking, and Predicting
A new data-driven approach to atmospheric sensing and detecting/ predicting hazardous atmospheric phenomena is presented. Dense networks of small high-resolution radars are deploye...
Jerry Brotzge, V. Chandresakar, Kelvin Droegemeier...
HICSS
2003
IEEE
123views Biometrics» more  HICSS 2003»
15 years 11 months ago
Adoption of Collaboration Information Technologies in Australian and US Organizations: A Comparative Study
Collaboration to accomplish tasks has taken on a new meaning over the past few years. The majority of organizations are viewing information technology (IT) as a key enabler to tra...
Deepinder S. Bajwa, L. Floyd Lewis, Graham Pervan