1950 search results - page 56 / 390 » Lambda-Free Logical Frameworks |
ICWE
2004
Springer
15 years 3 months ago
2004
Springer
The usability of web applications today often suffers from the page-based medium’s lack of intrinsic support for hierarchical dialog sequences mirroring the parent-child relatio...
CAISE
2003
Springer
15 years 3 months ago
2003
Springer
Extraction-Transformation-Loading (ETL) tools are pieces of software responsible for the extraction of data from several sources, their cleansing, customization and insertion into ...
102
click to vote
JUCS
2000
14 years 9 months ago
2000
This article introduces the idea that information compression by multiple alignment, unification and search (ICMAUS) provides a framework within which natural language syntax may ...
JUCS
2002
14 years 9 months ago
2002
: This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics...
143
click to vote
KESAMSTA
2011
Springer
14 years 25 days ago
2011
Springer
Creating modular behaviours in JADE using a traditional method such as the FSM (Finite State Machine) can be a difficult task to achieve. The first issue with FSMs is that they do...