10301 search results - page 1711 / 2061 » informs 2007 |
197
click to vote
QOSA
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Software architecture and software architecture practices become increasingly important for information systems since they enable reasoning on the design of the system. T...
162
click to vote
RE
2007
Springer
16 years 28 days ago
2007
Springer
Requirements elicitation involves the construction of large sets of conceptual models. An important step in the analysis of these models is checking their consistency. Existing re...
192
click to vote
ROBOCUP
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Recent successful SLAM methods employ hybrid map representations combining the strengths of topological maps and occupancy grids. Such representations often facilitate mu...
179
click to vote
SAFECOMP
2007
Springer
16 years 28 days ago
2007
Springer
In existing security model-checkers the intruder’s behavior is defined as a message deducibility rule base governing use of eavesdropped information, with the aim to find out a m...
176
Voted
SAMOS
2007
Springer
16 years 28 days ago
2007
Springer
In this paper, we use the CoDeL hardware design platform to analyze the potential and performance impact of power gating individual registers. For each register, we examine the per...