5339 search results - page 406 / 1068 » Controllable Delay-Insensitive Processes |
186
click to vote
RSP
2007
IEEE
16 years 1 months ago
2007
IEEE
Building Distributed Real-Time Embedded systems requires a stringent methodology, from early requirements capture to full implementation. However, there is a strong link between t...
194
click to vote
AOSE
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Agent-oriented methodologies are an important means for constructing agent-based systems in a controlled repeatable form. However, agent-oriented methodologies have not r...
131
click to vote
SIPS
2006
IEEE
16 years 23 days ago
2006
IEEE
This paper presents an error compensation method for truncated multiplication. From two n-bit operands, the operator produces an n-bit product with small error compared to the 2n-b...
170
click to vote
DGCI
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. The purpose of this paper is to present a technique to create a global map of a robot’s surrounding by converting the raw data acquired from a scanning sensor to a comp...
139
Voted
PPDP
2005
Springer
16 years 7 days ago
2005
Springer
We address the problem of controlling information leakage in a concurrent declarative programming setting. Our aim is to define verification tools in order to distinguish betwee...