481 search results - page 29 / 97 » Scalable Matching of Industry Models - a Case Study |
CAV
2010
Springer
13 years 11 months ago
2010
Springer
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
BMCBI
2011
13 years 2 months ago
2011
Background: Cross-platform analysis of gene express data requires multiple, intricate processes at different layers with various platforms. However, existing tools handle only a s...
ICRA
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— In this paper, we study cooperative control algorithms using pairwise interactions, for the purpose of controlling flocks of unmanned vehicles. An important issue is t...
AGENTS
1997
Springer
14 years 4 hour ago
1997
Springer
The World-Wide-Web is less agent-friendly than we might hope. Most information on the Web is presented in loosely structured natural language text with no agent-readable semantics...
ANCS
2010
ACM
13 years 5 months ago
2010
ACM
Software packet processing is becoming more important to enable differentiated and rapidly-evolving network services. With increasing numbers of programmable processor and acceler...