73 search results - page 14 / 15 » Validation of Embedded Systems Using Formal Method Aided Sim... |
TASE
2010
IEEE
13 years 6 days ago
2010
IEEE
--This paper presents a novel approach to evaluate the response time in networked automation systems (NAS) that use a client/server protocol. The developments introduced are derive...
HYBRID
2010
Springer
13 years 7 months ago
2010
Springer
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...
FMICS
2009
Springer
14 years 1 days ago
2009
Springer
on Abstraction: a Lightweight Approach to Modelling Concurrency. Javier de Dios and Ricardo Peña Certified Implementation on top of the Java Virtual Machine 19:00 Social dinner + ...
WIOPT
2006
IEEE
13 years 11 months ago
2006
IEEE
Abstract— In this paper, we study the performance of clientAccess Point (AP) association policies in IEEE 802.11 based WLANs. In many scenarios, clients have a choice of APs with...
GPCE
2007
Springer
13 years 11 months ago
2007
Springer
Most software applications use a relational database for data management and storage. Interaction with such a database is often done by letting the program construct strings with ...