10038 search results - page 204 / 2008 » Model Checking for Managers |
156
click to vote
CONCUR
2007
Springer
15 years 10 months ago
2007
Springer
The model checking problem for finite-state open systems (module checking) has been extensively studied in the literature, both in the context of environments with perfect and imp...
145
click to vote
EDBT
2010
ACM
15 years 11 months ago
2010
ACM
Schemas, and more generally metadata specifying structural and semantic constraints, are invaluable in data management. They facilitate conceptual design and enable checking of da...
149
click to vote
BIOSIG
2008
15 years 5 months ago
2008
: The European Union is developing new concepts for border management. Biometrics is seen is a key technology to facilitate more secure and convenient border management. Biometric ...
123
click to vote
ICEIS
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper structures the summary of the panel held at the 9th International Conference on Enterprise Information Systems, Funchal, Madeira, 12-16 June 2007 that addressed the foll...
142
click to vote
CIKM
2008
Springer
15 years 6 months ago
2008
Springer
Query processing techniques for XML data have focused mainly on tree-pattern queries (TPQs). However, the need for querying XML data sources whose structure is very complex or not...