4166 search results - page 264 / 834 » Automating the constraining process |
123
click to vote
INCDM
2007
Springer
15 years 10 months 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...
111
Voted
ICDCSW
2006
IEEE
15 years 10 months 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...
133
click to vote
LICS
2000
IEEE
15 years 8 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 ...
134
click to vote
TPHOL
2000
IEEE
15 years 7 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...
153
Voted
IADIS
2004
15 years 5 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...