Sciweavers

1164 search results - page 185 / 233
» Case Studies in Event-Driven Control
Sort
View
MLG
2007
Springer
16 years 9 days ago
Abductive Stochastic Logic Programs for Metabolic Network Inhibition Learning
Abstract. We revisit an application developed originally using Inductive Logic Programming (ILP) by replacing the underlying Logic Program (LP) description with Stochastic Logic Pr...
Jianzhong Chen, Stephen Muggleton, Jose Santos
MODELS
2007
Springer
16 years 9 days ago
A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software
Many safety-related and certification standards exist for developing safety-critical systems. Safety assessments are performed in practice, and system certification according to a...
Gregory Zoughbi, Lionel C. Briand, Yvan Labiche
RE
2007
Springer
16 years 9 days ago
Requirements in the wild: How small companies do it
Small companies form a large part of the software industry, but have mostly been overlooked by the requirements engineering research community. We know very little about the techn...
Jorge Aranda, Steve M. Easterbrook, Greg Wilson
UCS
2007
Springer
16 years 8 days ago
Mobility Helps Data Delivery in Disruption Tolerant Networks
Abstract. Sensor networks using mobile robots have recently been proposed to deal with data communication in disruption tolerant networks (DTNs) where an instantaneous end-to-end p...
Kaoru Sezaki, Niwat Thepvilojanapong, Yoshito Tobe
INFOCOM
2006
IEEE
16 years 6 days ago
Fault-Tolerant Wireless Access Network Design for Dual-Homed Users
— In this paper, we study the survivability problem in hierarchical wireless access networks with dual-homed end users, who are connected to two base stations (BSs), a primary BS...
Xiaodong Huang, Jianping Wang, Vinod Vokkarane, Ja...