5639 search results - page 535 / 1128 » Timed Abstract Non-interference |
151
click to vote
IPOM
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Traditional telecommunications service providers are undergoing a transition to a shared infrastructure in which multiple services will be offered to customers. These se...
203
click to vote
ISAS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This paper provides an overview of Proof-Based System Engineering (PBSE), which aims at improving the current practice of developing computer-based systems. PBSE is of pa...
182
click to vote
ISCIS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In-network processing emerges as an approach to reduce energy consumption in Wireless Sensor Networks (WSN) by decreasing the overall transferred data volume. Parallel pr...
139
click to vote
IVA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In contrast to the variety of listening behaviors produced in humanto-human interaction, most virtual agents sit or stand passively when a user speaks. This is a reflecti...
150
click to vote
IWANN
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This paper presents k-NN as an approximator for time series prediction problems. The main advantage of this approximator is its simplicity. Despite the simplicity, k-NN c...