4166 search results - page 470 / 834 » Automating the constraining process |
152
click to vote
LICS
2005
IEEE
15 years 10 months ago
2005
IEEE
We provide a uniform solution to the problem of synthesizing a finite-state distributed system. An instance of the synthesis problem consists of a system architecture and a tempo...
178
click to vote
IUI
2004
ACM
15 years 10 months ago
2004
ACM
People are performing increasingly complicated actions on the web, such as automated purchases involving multiple sites. Things often go wrong, however, and it can be difficult to...
148
click to vote
CSL
2004
Springer
15 years 10 months ago
2004
Springer
The Parameterized Model Checking Problem (PMCP) is to decide whether a temporal property holds for a uniform family of systems, ¢¡ , comprised of finite, but arbitrarily many,...
146
click to vote
RTCSA
2003
IEEE
15 years 10 months ago
2003
IEEE
Abstract. This paper proposes “Zero-stop Authentication” system, which requires no intentional interactions between users and authentication applications. Our Zero-stop Authent...
140
click to vote
ICRA
2002
IEEE
15 years 10 months ago
2002
IEEE
Abstract- Procurement, i.e., the process of obtaining materials or services and managing their inflow into organizations, is a critical process in supply chain management. Internet...