3028 search results - page 385 / 606 » Integrating Temporal Logics |
156
click to vote
IRI
2007
IEEE
16 years 28 days ago
2007
IEEE
As design complexities increase exponentially, automotive designers need integrated tool environments enabling system-level analyses of alternative architectural solutions. Hence,...
181
click to vote
ARCS
2007
Springer
16 years 24 days ago
2007
Springer
Sensor network technology is pushing towards integration into the business world. By using sensor node hardware to augment real life business items it is possible to capture the wo...
169
click to vote
ECSA
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. The conceptual modelling of software architectures is of central importance for the quality of a software system. A rich modelling language is required to integrate the d...
159
click to vote
ISOLA
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. This paper argues in favor of a database conceptual schema and Semantic Web ontology design discipline that explores analogy mappings to reuse the structure and integrity...
169
click to vote
PADL
2007
Springer
16 years 22 days ago
2007
Springer
Modern development environments integrate various static analyses into the build process. Analyses that analyze the whole project whenever the project changes are impractical in th...