974 search results - page 113 / 195 » Formal Modeling of Communication Traces |
123
click to vote
CIDR
2011
14 years 3 months ago
2011
End-to-end data processing environments are often comprised of several independently-developed (sub-)systems, e.g. for engineering, organizational or historical reasons. Unfortuna...
101
click to vote
CODES
2007
IEEE
15 years 6 months ago
2007
IEEE
We present a novel hybrid approach for performance analysis of a system design. Unlike other approaches in this area, in this paper we do not focus on the determination of pessimi...
IFIP
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. This paper proposes a door access control system with mobile phones which allows off-line delegations of an access. A model of door access control with mobile phones is ...
114
click to vote
ACSD
2006
IEEE
15 years 1 months ago
2006
IEEE
Reuse of IP blocks has been advocated as a means to conquer the complexity of today's system-on-chip (SoC) designs. Component integration and verification in such systems is ...
108
click to vote
MOBIHOC
2008
ACM
15 years 11 months ago
2008
ACM
Vehicular ad-hoc networks with inter-vehicular communications are a prospective technology which contributes to safer and more efficient roads and offers information and entertain...