153 search results - page 7 / 31 » Smart Simulation Using Collaborative Formal and Simulation E... |
WADT
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Computational systems are often represented by means of Kripke structures, and related using simulations. We propose rewriting logic as a flexible and executable framewo...
APSEC
2002
IEEE
15 years 2 months ago
2002
IEEE
Continuous action systems (CAS) is a formalism intended for modeling hybrid systems (systems that combine discrete control with continuous behavior), and proving properties about ...
GRID
2004
Springer
15 years 3 months ago
2004
Springer
In this paper we present the MASSIVE project that aims to use Grid technology to establish an enabling environment for distributed simulation and visualization of large-scale scie...
101
click to vote
TC
2010
14 years 8 months ago
2010
—Reliability analysis has become a tool of fundamental importance to virtually all electrical and computer engineers because of the extensive usage of hardware systems in safety ...
MOBISYS
2007
ACM
15 years 9 months ago
2007
ACM
Smartphones have recently become increasingly popular because they provide "all-in-one" convenience by integrating traditional mobile phones with handheld computing devi...