2685 search results - page 182 / 537 » A Formal Semantics for SPKI |
182
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
Web Services provide standardized interfaces for accessing software systems and data sources over the Internet. Semantic descriptions of Web Services help to automate the discovery...
162
click to vote
DEXAW
2008
IEEE
16 years 1 months ago
2008
IEEE
The semantic web aims at enabling the web to understand and answer the requests from people and machines. It relies on several standards for representing and reasoning about web c...
183
click to vote
IEEEICCI
2006
IEEE
16 years 25 days ago
2006
IEEE
Knowledge representation is essential for semantics modeling and intelligent information processing. For decades researchers have proposed many knowledge representation techniques...
145
click to vote
ASM
2005
ASM
16 years 11 days ago
2005
ASM
AsmL is a novel executable specification language based on the theory of State Machines (ASMs). It represents one of the most powerful practical engines to write and execute ASMs...
186
click to vote
SEKE
2005
Springer
16 years 9 days ago
2005
Springer
Software Engineering Environments (SEEs) are systems designed to support software development and maintenance, and also for supporting project control and management. They provide ...