2685 search results - page 146 / 537 » A Formal Semantics for SPKI |
189
Voted
SEMWIKI
2008
15 years 8 months ago
2008
Abstract. Semantic wikis have been successfully applied to many problems in knowledge management and collaborative authoring. They are particularly appropriate for scientific and m...
165
click to vote
DATE
2003
IEEE
16 years 5 days ago
2003
IEEE
The ForSyDe methodology has been developed for system level design. Starting with a formal specification model, that captures the functionality of the system at a high abstractio...
202
Voted
MEMOCODE
2003
IEEE
16 years 4 days ago
2003
IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...
173
click to vote
FOSSACS
2009
Springer
16 years 1 months ago
2009
Springer
Reactive systems, proposed by Leifer and Milner, represent a meta-framework aimed at deriving behavioral congruences for those specification formalisms whose operational semantics...
194
click to vote
ATAL
2005
Springer
16 years 12 days ago
2005
Springer
This paper addresses the notion of declarative goals as used in agent programming. Declarative goals describe desirable states, and semantics of these goals in an agent programmin...