3169 search results - page 70 / 634 » A General Framework for Large Scale Systems Development |
112
click to vote
TPHOL
2008
IEEE
15 years 6 months ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...
ICCV
2011
IEEE
13 years 12 months ago
2011
IEEE
In this paper we propose a new approach to compute the scale space of any omnidirectional image acquired with a central catadioptric system. When these cameras are central they ar...
104
click to vote
MOBIS
2008
15 years 1 months ago
2008
: Compliance management, risk analysis, and auditing are disciplines that are critical for large scale distributed enterprise systems. The way these complex systems are developed a...
LSGRID
2004
Springer
15 years 5 months ago
2004
Springer
The BRIDGES project is incrementally developing and exploring database integration over six geographically distributed research sites with the framework of a Wellcome Trust biomedi...
AROBOTS
2007
14 years 12 months ago
2007
Robotic Development Environments (RDEs) have come to play an increasingly important role in robotics research in general, and for the development of architectures for mobile robot...