729 search results - page 45 / 146 » Multisensor Integration for Building Modeling |
185
click to vote
COGSR
2011
14 years 11 months ago
2011
Cognitive architectures need to resolve the diversity dilemma – i.e., to blend diversity and simplicity – in order to couple functionality and efficiency with integrability, e...
141
Voted
ICWE
2009
Springer
15 years 11 months ago
2009
Springer
Model-driven engineering is a promising approach, but there are still many hurdles to overcome. The tool UWE4JSF solves the hurdles for the model-driven development of web applicat...
143
click to vote
ESORICS
2003
Springer
15 years 9 months ago
2003
Springer
We introduce the on-the-fly model-checker OFMC, a tool that combines two methods for analyzing security protocols. The first is the use of lazy data-types as a simple way of buil...
120
click to vote
NGITS
1995
Springer
15 years 8 months ago
1995
Springer
TSIMMIS—TheStanford-IBMManagerofMultipleInformationSources—isasystemforintegrating information. It offers a data model and a common query language that are designed to support ...
123
click to vote
AIED
2009
Springer
15 years 11 months ago
2009
Springer
This study, through the ontological engineering approach, aims at building a conceptual basis that encourages instructional designers in better understanding of learning/instructio...