4047 search results - page 507 / 810 » Algebraic Model Checking |
148
click to vote
CISIS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. We focus on discrete event systems with a structure of parallel processing, synchronization, and noconcurrency. We use max-plus algebra, which is an effective approach fo...
148
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— In this paper we employ the theory of partially ordered sets to model and analyze a class of decentralized control problems. We show that posets provide a natural way of modeli...
163
click to vote
CRV
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents a simple linear operator that accurately estimates the position and parameters of ellipse features. Based on the dual conic model, the operator avoids the inte...
180
click to vote
ICIW
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— Composition of web services is much studied to support business-to-business and enterprise application integration in e-Commerce. Current web service composition approa...
177
click to vote
LICS
2007
IEEE
16 years 29 days ago
2007
IEEE
Abramsky’s logical formulation of domain theory is extended to encompass the domain theoretic model for picalculus processes of Stark and of Fiore, Moggi and Sangiorgi. This is ...