2004 search results - page 315 / 401 » Comparison of Model Checking Tools for Information Systems |
124
click to vote
ICRA
2010
IEEE
14 years 10 months ago
2010
IEEE
— In recent years, learning models from data has become an increasingly interesting tool for robotics, as it allows straightforward and accurate model approximation. However, in ...
CHI
2007
ACM
16 years 8 days ago
2007
ACM
Wikipedia, a wiki-based encyclopedia, has become one of the most successful experiments in collaborative knowledge building on the Internet. As Wikipedia continues to grow, the po...
TAICPART
2006
IEEE
15 years 5 months ago
2006
IEEE
One of the key roles of any information system is to enforce the business rules and policies set by the owning organisation. As for any important functionality, it is necessary to...
102
click to vote
ICAIL
2007
ACM
15 years 3 months ago
2007
ACM
Legal-RDF.org1 publishes a practical ontology that models both the layout and content of a document and metadata about the document; these have been built using data models implici...
APSEC
2005
IEEE
15 years 5 months ago
2005
IEEE
Software-intensive systems are systems of systems that rely on complex interdependencies among themselves as well as with their operational environment to satisfy the required beh...