Sciweavers

2416 search results - page 210 / 484
» The Language of Cortical Dynamics
Sort
View
FMCO
2007
Springer
103views Formal Methods» more  FMCO 2007»
16 years 20 days ago
Safety Guarantees from Explicit Resource Management
We present a language and a program analysis that certifies the safe use of flexible resource management idioms, in particular advance reservation or “block booking” of costl...
David Aspinall, Patrick Maier, Ian Stark
GPCE
2009
Springer
15 years 11 months ago
Advanced runtime adaptation for Java
Dynamic aspect-oriented programming (AOP) enables runtime adaptation of aspects, which is important for building sophisticated, aspect-based software engineering tools, such as ad...
Alex Villazón, Walter Binder, Danilo Ansalo...
INLG
2010
Springer
15 years 4 months ago
Towards an Extrinsic Evaluation of Referring Expressions in Situated Dialogs
In the field of referring expression generation, while in the static domain both intrinsic and extrinsic evaluations have been considered, extrinsic evaluation in the dynamic doma...
Philipp Spanger, Ryu Iida, Takenobu Tokunaga, Asuk...
VEE
2006
ACM
150views Virtualization» more  VEE 2006»
16 years 14 days ago
Evaluating fragment construction policies for SDT systems
Software Dynamic Translation (SDT) systems have been used for program instrumentation, dynamic optimization, security policy enforcement, intrusion detection, and many other uses....
Jason Hiser, Daniel Williams, Adrian Filipi, Jack ...
ICSE
2005
IEEE-ACM
16 years 6 months ago
Towards aspect weaving applications
Software must be adapted to accommodate new features in the context of changing requirements. In this paper, we illustrate how applications with aspect weaving capabilities can be...
Carine Courbis, Anthony Finkelstein