Sciweavers

5415 search results - page 890 / 1083
» The Implementation of Functional Programming Languages
Sort
View
ISSAC
2005
Springer
94views Mathematics» more  ISSAC 2005»
16 years 1 days ago
Domains and expressions: an interface between two approaches to computer algebra
This paper describes a method to use compiled, strongly typed Aldor domains in the interpreted, expression-oriented Maple environment. This represents a non-traditional approach t...
Cosmin E. Oancea, Stephen M. Watt
ECBS
2010
IEEE
151views Hardware» more  ECBS 2010»
15 years 12 months ago
Generating Test Plans for Acceptance Tests from UML Activity Diagrams
The Unified Modeling Language (UML) is the standard to specify the structure and behaviour of software systems. The created models are a constitutive part of the software speciļ¬...
Andreas Heinecke, Tobias Brückmann, Tobias Gr...
ADBIS
2001
Springer
97views Database» more  ADBIS 2001»
15 years 11 months ago
A Web-Based System for Handling Multidimensional Information through MXML
In this paper we address an issue common in the frame of WWW, namely information entities that present di erent facets under di erent contexts (or worlds). Handling such multifacet...
Manolis Gergatsoulis, Yannis Stavrakas, Dimitris K...
DATE
2000
IEEE
113views Hardware» more  DATE 2000»
15 years 11 months ago
MASCOT: A Specification and Cosimulation Method Integrating Data and Control Flow
We integrate data and control flow at the system specification level, using the two specialized and well established languages Matlab and SDL. For this we provide a modeling techn...
Per Bjuréus, Axel Jantsch
IUI
2000
ACM
15 years 11 months ago
More than just a pretty face: affordances of embodiment
Prior research into embodied interface agents has found that users like them and find them engaging. In this paper, we argue that embodiment can serve an even stronger function if...
Justine Cassell, Timothy W. Bickmore, Hannes H&oum...