120 search results - page 13 / 24 » An expressive mechanism for auctions on the web |
WWW
2007
ACM
15 years 10 months ago
2007
ACM
Current keyword-oriented search engines for the World Wide Web do not allow specifying the semantics of queries. We address this limitation with NAGA1 , a new semantic search engi...
SEMWEB
2010
Springer
14 years 7 months ago
2010
Springer
We describe a mapping language for converting data contained in spreadsheets into the Web Ontology Language (OWL). The developed language, called M2 , overcomes shortcomings with e...
ENTCS
2006
14 years 9 months ago
2006
We propose a formal method to validate the reliability of a web application, by modeling interactions among its constituent objects. Modeling exploits the recent "Multiple Le...
SEDE
2010
14 years 7 months ago
2010
Security certification assesses the security posture of a software system to verify its compliance with diverse, pre-specified security controls identified by guidelines from NIST...
106
click to vote
ECOWS
2007
Springer
15 years 3 months ago
2007
Springer
Execution monitoring of complex web service process models is critical for effective management and control of web services based systems. During the composite process model execu...