8 search results - page 2 / 2 » An Event Algebra Based System for Verifying E-Commerce Trans... |
MEMOCODE
2007
IEEE
14 years 26 days ago
2007
IEEE
The always increasing complexity of digital system is overcome in design flows based on Transaction Level Modeling (TLM) by designing and verifying the system at difbstraction le...
COMPSAC
2004
IEEE
13 years 10 months ago
2004
IEEE
Web services (WS) received significant attention recently because services can be searched, bound, and executed at runtime over the Internet. This paper proposes a dynamic reconfi...
TASE
2010
IEEE
13 years 1 months 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...