10406 search results - page 420 / 2082 » Using RDF to Model the Structure and Process of Systems |
147
click to vote
HASE
2007
IEEE
15 years 9 months ago
2007
IEEE
Embedded systems are used for critical applications that must adhere to safety constraints. Developers of these systems face three key challenges when attempting to apply existing...
152
Voted
ECBS
2008
IEEE
15 years 6 months ago
2008
IEEE
Large and complex software systems require expressive notations for representing their software architecture. In this context Architecture Description Languages (ADLs) can be used...
145
Voted
HPDC
2010
IEEE
15 years 5 months ago
2010
IEEE
In this paper we explore the problems of storing and reasoning about data collected from very large-scale wireless sensor networks (WSNs). Potential worldwide deployment of WSNs f...
128
click to vote
TACAS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...
123
click to vote
NLDB
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In this paper, we target document ranking in a highly technical field with the aim to approximate a ranking that is obtained through an existing ontology (knowledge stru...