2830 search results - page 334 / 566 » No Science without Semantics |
130
Voted
HICSS
2009
IEEE
15 years 10 months ago
2009
IEEE
New systems can be created by assembling a set of elementary services provided by various stakeholders in a service composition. Service composition is not a trivial endeavor and ...
144
click to vote
LICS
2008
IEEE
15 years 10 months ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...
125
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
Sketch-based interaction is an intuitive, simple communication method. However, it has several critical aspects, due to difficulties during the interpretation step by the computer...
131
Voted
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— The ability to tag resources with uncontrolled metadata or “folksonomies” is often characterized as one of the central features of “Web 2.0” applications. Folks...
157
click to vote
LICS
2007
IEEE
15 years 10 months ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...