217 search results - page 33 / 44 » Towards a Mathematical Operational Semantics |
100
click to vote
ISSA
2008
15 years 1 months ago
2008
Information Security awareness initiatives are seen as critical to any information security programme. But, how do we determine the effectiveness of these awareness initiatives? W...
126
click to vote
DB
2008
14 years 11 months ago
2008
Software testing can benefit from technologies that enable evolution toward increased engineering discipline. In current practice, software developers lack practical means to dete...
GIS
2010
ACM
14 years 9 months ago
2010
ACM
Map matching is a fundamental operation in many applications such as traffic analysis and location-aware services, the killer apps for ubiquitous computing. In the past, several m...
JAIR
2008
14 years 11 months ago
2008
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update to...
108
click to vote
OTM
2007
Springer
15 years 5 months ago
2007
Springer
Lightweight ontologies in the form of RDF vocabularies such as SIOC, FOAF, vCard, etc. are increasingly being used and exported by “serious” applications recently. Such vocabul...