Sciweavers

4386 search results - page 648 / 878
» A Tamper-Resistant Programming Language System
Sort
View
EDUTAINMENT
2007
Springer
16 years 23 days ago
UML in Action: Integrating Formal Methods in Industrial Design Education
When designing product behavior, the designer often needs to communicate to experts in computer software and protocols. In present-day software engineering, formal specification m...
Jun Hu, Philip Ross, Loe M. G. Feijs, Yuechen Qian
EUROSYS
2010
ACM
16 years 22 days ago
XCPU3: Workload Distribution and Aggregation
The mainstream adoption of cluster, grid, and most recently cloud computing models have broadened the applicability of parallel programming from scientific communities to the bus...
Pravin Shinde, Eric Van Hensbergen
ICSM
2006
IEEE
16 years 19 days ago
Reverse Engineering Method Stereotypes
An approach to automatically identify the stereotypes of all the methods in an entire system is presented. A taxonomy for object-oriented class method stereotypes is given that un...
Natalia Dragan, Michael L. Collard, Jonathan I. Ma...
SIGSOFT
2006
ACM
16 years 17 days ago
From multi-modal scenarios to code: compiling LSCs into aspectJ
We exploit the main similarity between the aspect-oriented programming paradigm and the inter-object, scenario-based approach to specification in order to construct a new way of ...
Shahar Maoz, David Harel
HICSS
2005
IEEE
143views Biometrics» more  HICSS 2005»
16 years 6 days ago
A Multilingual Embodied Conversational Agent
In our paper last year [1], we described our languagetraining program, which utilizes Baldi as a tutor, who guides students through a variety of exercises designed to teach vocabu...
Dominic W. Massaro, Slim Ouni, Michael M. Cohen, R...