4257 search results - page 629 / 852 » The Logical Modularity of Programs |
164
click to vote
ESCIENCE
2006
IEEE
16 years 21 days ago
2006
IEEE
TextGrid is a new Grid project in the framework of the German D-Grid initiative, with the aim to deploy Grid technologies for humanities scholars working on historical (German) te...
159
click to vote
ICDCSW
2006
IEEE
16 years 20 days ago
2006
IEEE
The Fluids and Combustion Facility (FCF) will be a permanent modular, multi-user facility used to accommodate microgravity science experiments in the U.S. Laboratory Module onboar...
153
click to vote
SEFM
2006
IEEE
16 years 19 days ago
2006
IEEE
tic analysis tools based on abstraction are sound but not complete. Several practical static analysis tools are heuristic in nature —they are neither sound nor complete, but have...
187
click to vote
ISPEC
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Access control is a system-wide concern that has both a generic nature and an application dependent characteristic. It is generic as many functions must be protected with...
189
click to vote
ROBOCUP
2005
Springer
16 years 3 days ago
2005
Springer
RoboCup projects can face a lack of progress and continuity. The teams change continuously and knowledge gets lost. The approach used in previous years is no longer valid due to ru...