1092 search results - page 40 / 219 » Automated Evaluation of Coordination Approaches |
FSKD
2006
Springer
15 years 3 months ago
2006
Springer
Information security evaluation of software-intensive systems typically relies heavily on the experience of the security professionals. Obviously, automated approaches are needed ...
AAAI
2008
15 years 2 months ago
2008
To-do lists have been found to be the most popular personal information management tools, yet there is no automated system to interpret and act upon them when appropriate on behal...
IM
2007
15 years 1 months ago
2007
—Policy-driven service management helps reduce IT management cost and it keeps the service management aligned with business objectives. While most of the previous research focuse...
115
click to vote
TASE
2008
IEEE
14 years 11 months ago
2008
IEEE
Abstract--The use of automated guided vehicles (AGVs) in material-handling processes of manufacturing facilities and warehouses isbecomingincreasinglycommon.AcriticaldrawbackofanAG...
145
click to vote
LPAR
2004
Springer
15 years 5 months ago
2004
Springer
The dependency pair approach is one of the most powerful techniques for automated termination proofs of term rewrite systems. Up to now, it was regarded as one of several possible ...