713 search results - page 30 / 143 » Viewcharts: Syntax and Semantics |
CORR
2011
Springer
13 years 9 days ago
2011
Springer
Contemporary use of the term ’intension’ derives from the traditional logical Frege-Russell’s doctrine that an idea (logic formula) has both an extension and an intension. Al...
ICSE
2004
IEEE-ACM
14 years 8 months ago
2004
IEEE-ACM
SLAng is an XML language for defining service level agreements, the part of a contract between the client and provider of an Internet service that describes the quality attributes...
DALT
2005
Springer
14 years 2 months ago
2005
Springer
We explore the suitability of Intensional Programming Paradigm for providing a programming model for coordinated problem solving in a multi-agent systems. We extend our previous wo...
WCRE
2003
IEEE
14 years 1 months ago
2003
IEEE
The process of software reverse engineering commonly uses an extractor, which parses source code and extracts facts about the code. The level of detail in these facts varies from ...
LISP
2002
13 years 8 months ago
2002
Abstract. Specification diagrams (SD's) are a novel form of graphical notation for specifying open distributed object systems. The design goal is to define notation for specif...