2416 search results - page 162 / 484 » The Language of Cortical Dynamics |
293
click to vote
POPL
2004
ACM
16 years 6 months ago
2004
ACM
We investigate proof rules for information hiding, using the recent formalism of separation logic. In essence, we use the separating conjunction to partition the internal resource...
163
click to vote
ICTA
2009
IEEE
16 years 1 months ago
2009
IEEE
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...
192
click to vote
MTSR
2007
Springer
16 years 16 days ago
2007
Springer
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...
138
click to vote
OOPSLA
2005
Springer
15 years 12 months ago
2005
Springer
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...
189
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
—Synchronous languages offer a deterministic model of concurrency at the level of actions. However, essentially all compilers for synchronous languages compile these actions into...