1299 search results - page 168 / 260 » EMC - A modeling method for developing web-based application... |
ICIC
2005
Springer
14 years 2 months ago
2005
Springer
This paper describes the architecture of a computer system conceived as an intelligent assistant for public transport management. The goal of the system is to help operators of a c...
VIP
2000
13 years 10 months ago
2000
Developing a detailed 3D conceptual spatial data model and incorporating it for visualization, is a promising method of Spatial Data Exploration for a variety of applications espe...
ENVSOFT
2006
13 years 9 months ago
2006
: Since Keynes (1930) and Hicks (1939) propounded their theory of normal backwardation, the issue of whether hedgers must pay speculators an insurance premium has remained controve...
LISP
2008
13 years 9 months ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
RE
2008
Springer
13 years 8 months ago
2008
Springer
NASA spends millions designing and building spacecraft for its missions. The dependence on software is growing as spacecraft become more complex. With the increasing dependence on...