186 search results - page 18 / 38 » Static Analysis of Business Artifact-centric Operational Mod... |
WSC
2008
13 years 10 months ago
2008
A large number of operational tools exist to help researchers determine business solutions for their customers. Each individual tool serves a distinct purpose for specific types o...
ESORICS
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. This paper presents an access control model for programming applications in which the access control to resources can employ user interaction to obtain the necessary perm...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
The rapid changing business environment of high-tech asset intensive enterprises such as semiconductor manufacturing constantly drives production managers to look for better solut...
CAISE
2009
Springer
14 years 2 months ago
2009
Springer
Navigation systems have proven to be quite useful for many drivers. People increasingly rely on the devices of TomTom and other vendors and find it useful to get directions to go ...
DAC
2004
ACM
14 years 8 months ago
2004
ACM
Current Static Timing Analysis (STA) techniques allow one to verify the timing of a circuit at different process corners which only consider cases where all the supplies are low o...