Sciweavers

3564 search results - page 10 / 713
» Evaluating a Formal Modelling Language
Sort
View
AOSE
2005
Springer
15 years 3 months ago
Operational Modelling of Agent Autonomy: Theoretical Aspects and a Formal Language
Autonomy has always been conceived as one of the defining attributes of intelligent agents. While the past years have seen considerable progress regarding theoretical aspects of a...
Gerhard Weiß, Felix A. Fischer, Matthias Nic...
AICCSA
2006
IEEE
95views Hardware» more  AICCSA 2006»
15 years 3 months ago
DEPICT: A High-Level Formal Language For Modeling Constraint Satisfaction Problems
: The past decade witnessed rapid development of constraint satisfaction technologies, where algorithms are now able to cope with larger and harder problems. However, owing to the ...
Abdulwahed M. Abbas, Edward P. K. Tsang, Ahmad H. ...
ESOP
2006
Springer
15 years 1 months ago
Embedding Dynamic Dataflow in a Call-by-Value Language
This paper describes FrTime, an extension of Scheme designed for writing interactive applications. Inspired by functional reactive programming, the language embeds dynamic dataflow...
Gregory H. Cooper, Shriram Krishnamurthi
CL
2000
Springer
14 years 9 months ago
A Formal Model for an Expressive Fragment of XSLT
The extension of the XSL (eXtensible Style sheet Language) by variables and passing of data values between template rules has generated a powerful XML query language: XSLT (eXtens...
Geert Jan Bex, Sebastian Maneth, Frank Neven
70
Voted
ECWEB
2001
Springer
128views ECommerce» more  ECWEB 2001»
15 years 2 months ago
Modelling the ICE Standard with a Formal Language for Information Commerce
Andreas Wombacher, Karl Aberer