496 search results - page 46 / 100 » Generation Gaps Revisited |
103
click to vote
DAC
2003
ACM
16 years 2 months ago
2003
ACM
We describe a technique for verifying that a hardware design correctly implements a protocol-level formal specification. Simulation steps are translated to protocol state transiti...
137
click to vote
GLOBECOM
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract— Network calculus is an established theory for deterministic quality of service analysis of fixed networks. Due to the failures inherent in fading channels it is, howev...
ICRA
2006
IEEE
15 years 8 months ago
2006
IEEE
Today’s aerial robots are being tasked to fly in nearEarth environments such as caves, forests and buildings. The lack of flight data and performance metrics poses a gap that ...
126
click to vote
IEEESCC
2005
IEEE
15 years 7 months ago
2005
IEEE
Two practical paradigms are presented, which facilitate domain concepts to be directly used to model business operations: the first paradigm is based on the business artifacts and...
120
click to vote
EUROSSC
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. In ubiquitous computing environments there are an increasing number and variety of devices that can generate context data. The challenge is to timely acquire, process, an...