402 search results - page 52 / 81 » Practical Application of Existing Hypermedia Standards and T... |
101
click to vote
QEST
2010
IEEE
14 years 9 months ago
2010
IEEE
We introduce Fortuna, the first tool for model checking priced probabilistic timed automata (PPTAs). Fortuna can handle the combination of real-time, probabilistic and cost feature...
122
click to vote
CLEF
2010
Springer
14 years 8 months ago
2010
Springer
Recent years have seen a growing interest in research into patent retrieval. One of the key issues in conducting information retrieval (IR) research is meaningful evaluation of the...
CDC
2008
IEEE
15 years 5 months ago
2008
IEEE
Abstract— A common approach to designing feedback controllers for nonlinear partial differential equations (PDEs) is to linearize the system about an equilibrium and use the line...
FATES
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. So far, model-based testing approaches have mostly been used in testing through various kinds of APIs. In practice, however, testing through a GUI is another equally impo...
ACSAC
2002
IEEE
15 years 4 months ago
2002
IEEE
The administration of users and access rights in large enterprises is a complex and challenging task. Roles are a powerful concept for simplifying access control, but their implem...