Sciweavers

5562 search results - page 758 / 1113
» Implementing Parallel Cell-DEVS
Sort
View
PODC
2010
ACM
15 years 10 months ago
Adaptive system anomaly prediction for large-scale hosting infrastructures
Large-scale hosting infrastructures require automatic system anomaly management to achieve continuous system operation. In this paper, we present a novel adaptive runtime anomaly ...
Yongmin Tan, Xiaohui Gu, Haixun Wang
FORMATS
2007
Springer
15 years 10 months ago
Partial Order Reduction for Verification of Real-Time Components
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
John Håkansson, Paul Pettersson
142
Voted
DCOSS
2009
Springer
15 years 10 months ago
A Sensor Network System for Measuring Traffic in Short-Term Construction Work Zones
In this paper, we present the design and implementation of a sensor network system for monitoring the flow of traffic through temporary construction work zones. As opposed to long-...
Manohar Bathula, Mehrdad Ramezanali, Ishu Pradhan,...
GCC
2007
Springer
15 years 10 months ago
A Temporal Logic Based Grid Workflow Model and Scheduling Scheme
Recently, grid computing has become a popular technology for large-scale scientific or business computing. Grid workflow system can enhance the flexibility and efficiency of the g...
Yu-E Zheng, Huadong Ma, Lejun Zhang
EDOC
2009
IEEE
15 years 10 months ago
Realizing Correspondences in Multi-viewpoint Specifications
Viewpoint modeling is an effective technique for specifying complex software systems in terms of a set of independent viewpoints and correspondences between them. Each viewpoint f...
José Raúl Romero, Juan Ignacio Jaen,...