2106 search results - page 330 / 422 » Operational Semantics for DyLPs |
162
click to vote
PPDP
2005
Springer
16 years 8 days ago
2005
Springer
Huet and Lang (1978) presented a framework of automated program transformation based on lambda calculus in which programs are transformed according to a given program transformati...
165
Voted
EDBTW
2004
Springer
16 years 5 days ago
2004
Springer
In today’s global village, it is critical that the key information tools, such as web search engines, e-Commerce portals and e-Governance, work across multiple natural languages,...
217
click to vote
SAMOS
2004
Springer
16 years 3 days ago
2004
Springer
The dataflow interchange format (DIF) is a textual language that is geared towards capturing the semantics of graphical design tools for DSP system design. A key objective of DIF i...
178
click to vote
ACSD
2003
IEEE
16 years 2 days ago
2003
IEEE
Message Sequence Charts (MSC) have been traditionally used to depict execution scenarios in the early stages of design cycle. MSCs portray inter-process ( inter-object) interactio...
213
click to vote
AMKM
2003
Springer
16 years 9 hour ago
2003
Springer
This paper presents an agent-based approach to semantic exploration and knowledge discovery in large information spaces by means of capturing, visualizing and making usable implic...