2685 search results - page 182 / 537 » A Formal Semantics for SPKI |
193
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...
171
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...
192
Voted
IEEEICCI
2006
IEEE
16 years 1 months ago
2006
IEEE
Knowledge representation is essential for semantics modeling and intelligent information processing. For decades researchers have proposed many knowledge representation techniques...
153
Voted
ASM
2005
ASM
16 years 19 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...
196
click to vote
SEKE
2005
Springer
16 years 17 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 ...