2632 search results - page 377 / 527 » Alternating Timed Automata |
100
click to vote
NCA
2007
IEEE
15 years 8 months ago
2007
IEEE
Structured P2P networks are a promising alternative for engineering new distributed services and for replacing existing distributed services like DNS. Providing competitive perfor...
VTC
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— In general, the performance and radio resource utilization of Ad Hoc networks are limited by half-duplex operation and possible collisions. In this paper, we propose a ...
113
click to vote
BPM
2007
Springer
15 years 8 months ago
2007
Springer
The success of a business process (BP) depends on whether it meets its business goal as well as non-functional requirements associated with it. BP specifications frequently need to...
101
click to vote
CAV
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...
110
Voted
CCS
2007
ACM
15 years 8 months ago
2007
ACM
In order to provide certified security services we must provide indicators that can measure the level of assurance that a complex business process can offer. Unfortunately the fo...