Sciweavers

2370 search results - page 253 / 474
» On the Revival of Dynamic Languages
Sort
View
CD
2004
Springer
16 years 19 days ago
Customizing Component-Based Architectures by Contract
This paper presents an approach to describe, deploy and manage component-based applications having dynamic functional and non-functional requirements. The approach is centered on a...
Orlando Loques, Alexandre Sztajnberg
IFM
2004
Springer
185views Formal Methods» more  IFM 2004»
16 years 18 days ago
Object-Oriented Modelling with High-Level Modular Petri Nets
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
Cécile Bui Thanh, Hanna Klaudel
PLDI
2003
ACM
16 years 15 days ago
Optimizing indirect branch prediction accuracy in virtual machine interpreters
Interpreters designed for efficiency execute a huge number of indirect branches and can spend more than half of the execution time in indirect branch mispredictions. Branch target...
M. Anton Ertl, David Gregg
ATAL
2003
Springer
16 years 14 days ago
Autonomy and Agent Deliberation
Abstract. An important aspect of agent autonomy is the decision making capability of the agents. We discuss several issues that agents need to deliberate about in order to decide w...
Mehdi Dastani, Frank Dignum, John-Jules Ch. Meyer
IFIP
2010
Springer
16 years 1 days ago
A Face Attention Technique for a Robot Able to Interpret Facial Expressions
Automatic facial expressions recognition using vision is an important subject towards human-robot interaction. Here is proposed a human face focus of attention technique and a faci...
Carlos Simplício, José Augusto Prado...