3229 search results - page 542 / 646 » The Theory of Timed Automata |
225
click to vote
AGP
2010
IEEE
15 years 3 months ago
2010
IEEE
The Italian Logic Programming community has given several contributions to the theory of Concurrent Constraint Programming. In particular, in the topics of semantics, verification,...
161
click to vote
CASES
2010
ACM
15 years 3 months ago
2010
ACM
Common generated instruction selections are based on tree pattern matching, but modern and custom architectures feature instructions, which cannot be covered by trees. To overcome...
174
click to vote
CASES
2010
ACM
15 years 3 months ago
2010
ACM
Unobtrusive capturing of program execution traces in real-time is crucial in debugging cyber-physical systems. However, tracing even limited program segments is often cost-prohibi...
204
click to vote
ECWEB
2010
Springer
15 years 3 months ago
2010
Springer
Traditional negotiation, conducted face-to-face and via mail or telephone, is often difficult to manage, prone to misunderstanding, and time consuming. Automated negotiation promis...
179
click to vote
GLOBECOM
2010
IEEE
15 years 3 months ago
2010
IEEE
This paper considers a relay-assisted bidirectional cellular network where the base station (BS) communicates with each mobile station (MS) using orthogonal frequency-division mult...