Sciweavers

1499 search results - page 137 / 300
» Case Study: An Implementation of a Secure Steganographic Sys...
Sort
View
IJCAI
2007
15 years 8 months ago
Towards Reasoning about the Past in Neural-symbolic Systems
Reasoning about the past is of fundamental importance in several applications in computer science and artificial intelligence, including reactive systems and planning. In this pa...
Rafael V. Borges, Luís C. Lamb, Artur S. d'...
DATE
2000
IEEE
78views Hardware» more  DATE 2000»
15 years 11 months ago
HW/SW Codesign of an Engine Management System
The design process for an engine management system is presented. The functional specification of the system has been captured using C and C++ as specification languages. The val...
Massimo Baleani, Alberto Ferrari, Alberto L. Sangi...
IV
1999
IEEE
198views Visualization» more  IV 1999»
15 years 10 months ago
A Prototype Hotel Browsing System Using Java3D
Java3D is an application-centred approach to building 3D worlds. We use Java3D and VRML to design a prototype WWW-based 3D Hotel Browsing system. A Java3D scene graph viewer was i...
D. Ball, Majid Mirmehdi
CAV
2007
Springer
227views Hardware» more  CAV 2007»
15 years 10 months ago
The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems
Abstract. In this paper, we describe the features of the Timed Abstract State Machine toolset. The toolset implements the features of the Timed Abstract State Machine (TASM) langua...
Martin Ouimet, Kristina Lundqvist
CSREAEEE
2006
120views Business» more  CSREAEEE 2006»
15 years 7 months ago
Financial Transaction Reporting System in m-Commerce
- As mobile devices have been popular, many wireless applications for mobile devices have been developed. One of applications is to represent financial transaction report for a pro...
Jongwook Woo, Dong-Yon Kim, Wonhong Cho, MinSeok J...