Sciweavers

2370 search results - page 151 / 474
» On the Revival of Dynamic Languages
Sort
View
154
Voted
ICTA
2009
IEEE
16 years 23 days ago
SL Teacher: a Framework for teaching LSF on the Web
In this paper, we present SL Teacher, a framework for teaching French sign language using web 2.0 and virtual signer technologies. We present here the main features of the web-bas...
Jean-Paul Sansonnet, Annelies Braffort, Jér...
MTSR
2007
Springer
16 years 7 days ago
agroXML Enabling Standardized, Platform-Independent Internet Data Exchange in Farm Management Information Systems
agroXML is a standardized language for data exchange in agriculture. It is based on the eXtensible Markup Language (XML) using XML Schema as its definition language. agroXML is us...
Mario Schmitz, Daniel Martini, Martin Kunisch, Han...
134
Voted
OOPSLA
2005
Springer
15 years 11 months ago
Pluggable AOP: designing aspect mechanisms for third-party composition
Studies of Aspect-Oriented Programming (AOP) usually focus on a language in which a specific aspect extension is integrated with a base language. Languages specified in this man...
Sergei Kojarski, David H. Lorenz
DATE
2010
IEEE
183views Hardware» more  DATE 2010»
15 years 11 months ago
Multithreaded code from synchronous programs: Extracting independent threads for OpenMP
—Synchronous languages offer a deterministic model of concurrency at the level of actions. However, essentially all compilers for synchronous languages compile these actions into...
Daniel Baudisch, Jens Brandt, Klaus Schneider
POPL
2008
ACM
16 years 6 months ago
Enhancing modular OO verification with separation logic
Conventional specifications for object-oriented (OO) programs must adhere to behavioral subtyping in support of class inheritance and method overriding. However, this requirement ...
Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, She...