1382 search results - page 214 / 277 » Strider: Configuration Modelling and Analysis of Complex Sys... |
CDC
2009
IEEE
15 years 2 months ago
2009
IEEE
Abstract— We propose formal models for analyzing robustness of multi-hop control networks, where data from sensors to controllers and from controllers to actuators is sent throug...
103
click to vote
ICSE
2000
IEEE-ACM
15 years 1 months ago
2000
IEEE-ACM
We present Galileo, an innovative engineering modeling and analysis tool built using an approach we call packageoriented programming (POP). Galileo represents an ongoing evaluatio...
103
click to vote
NAACL
2003
14 years 11 months ago
2003
Searching online information is increasingly a daily activity for many people. The multilinguality of online content is also increasing (e.g. the proportion of English web users, ...
CSE
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract—Today’s wirelessly networked embedded systems underlie a vast array of electronic devices, performing computation, communication, and input/output. A major design goal...
WCRE
2003
IEEE
15 years 3 months ago
2003
IEEE
Many modern software systems are often large, distributed, written in more than one programming language, and developed using pre-built components. This paper presents the results...