4166 search results - page 264 / 834 » Automating the constraining process |
153
click to vote
INCDM
2007
Springer
16 years 19 days ago
2007
Springer
Small to medium sized companies require a business control mechanism in order to monitor their modus operandi and analyse whether they are achieving their goals. A tool for the dec...
142
click to vote
ICDCSW
2006
IEEE
16 years 16 days ago
2006
IEEE
In this paper, we describe how to automate the process of subscribing to complex publish-subscribe systems. We present a proof-of-concept prototype, in which we analyze Web browsi...
173
click to vote
LICS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper explores the connection between semantic equivalences and preorders for concrete sequential processes, represented by means of labelled transition systems, and formats ...
163
click to vote
TPHOL
2000
IEEE
15 years 10 months ago
2000
IEEE
The IA-64 architecture defers floating point and integer division to software. To ensure correctness and maximum efficiency, Intel provides a number of recommended algorithms which...
195
click to vote
IADIS
2004
15 years 7 months ago
2004
In this study, we explore the construction of a faceted vocabulary that can be used as a mechanism for organizing Web-based resources. After analyzing the manual process of facete...