41 search results - page 5 / 9 » An Overview about the DynaQuest Framework |
ATMOS
2007
13 years 9 months ago
2007
Abstract. In this paper, we give an overview of the Locomotive Simulater/Optimizer (LSO) decision support system developed by us for railroads. This software is designed to imitate...
JFP
2007
13 years 7 months ago
2007
The LF logical framework codifies a methodology for representing deductive systems, such as programming languages and logics, within a dependently typed λ-calculus. In this meth...
ICMB
2005
IEEE
2005
IEEE
Mobile Customer Relationship Management: An Explorative Investigation of the Italian Consumer Market
14 years 1 months ago
Mobile Customer Relationship Management (CRM) services seem to have all the characteristics commonly associated to successful mobile services and have accordingly been predicted a...
BIRTHDAY
2010
Springer
13 years 7 months ago
2010
Springer
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...
HICSS
2009
IEEE
14 years 2 months ago
2009
IEEE
This research explores how a wide range of automobile crash, emergency responder, hospital, and trauma information could be useful to emergency medical practitioners for making de...