-
Chapter and Conference Paper
XVERSA: An integrated graphical and textual toolset for the specification and analysis of resource-bound real-time systems
We present XVERSA, a set of tools for the specification and analysis of resource-bound real-time systems. XVERSA facilitates the use of the Algebra of Communicating Shared Resources (ACSR), a real-time process...
-
Chapter and Conference Paper
A Secure Global State Routing for Mobile Ad Hoc Networks
The secure operation of the routing protocol is one of the major challenges to be met for the proliferation of the Mobile Ad Hoc networking (MANET) paradigm. Secure Global State Routing Protocol (SGSR) propose...
-
Chapter and Conference Paper
The Relationship between Preference and Stare Duration on Bicycle
Take bicycle industry as an example, the purpose of this research is to investigate the preference of consumer. With the using of eye-tracker, we expect to discover the relationship between preference of produ...