1525 search results - page 260 / 305 » Formal Models for Communication-Based Design |
93
Voted
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
In this paper we investigate two related aspects of the formalization of open interaction systems: how to specify norms, and how to enforce them by means of sanctions. The problem...
79
Voted
BIRD
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. We apply the concept of subset seeds proposed in [1] to similarity search in protein sequences. The main question studied is the design of efficient seed alphabets to con...
109
Voted
AMW
2010
15 years 2 months ago
2010
We study query authentication schemes, algorithmic and cryptographic constructions that provide efficient and secure protocols for verifying the results of queries over structured...
123
Voted
FLAIRS
2004
15 years 2 months ago
2004
As the complexity of industrial processes increases, it requires the use of intelligent sensors or actuators (known as Intelligent Instruments) to allow for more comprehensive and...
102
Voted
FMOODS
2006
15 years 2 months ago
2006
Abstract. The usual context of service oriented computing is characterized by several services offering the same functionalities, new services that are continuosly deployed and oth...