4693 search results - page 687 / 939 » Verifying Hybrid Systems |
151
click to vote
VTC
2008
IEEE
16 years 16 days ago
2008
IEEE
— This paper proposes a low-complexity model for vertical antenna radiation patterns, e.g. for inclusion in systemlevel simulations. They can be seen as extensions to the horizon...
168
click to vote
MEMOCODE
2007
IEEE
16 years 13 days ago
2007
IEEE
The always increasing complexity of digital system is overcome in design flows based on Transaction Level Modeling (TLM) by designing and verifying the system at difbstraction le...
134
click to vote
MMM
2007
Springer
16 years 13 days ago
2007
Springer
Recently, much attention has been paid on data-driven (or swarm-like) based live streaming systems due to its rapid growth in deployment over Internet. In such systems, nodes rando...
162
Voted
ECTEL
2007
Springer
2007
Springer
Reasoning-Based Curriculum Sequencing and Validation: Integration in a Service-Oriented Architecture
16 years 9 days ago
Abstract. We present a service-oriented personalization system, set in an educational framework, based on a semantic annotation of courses, given at a knowledge level (what the cou...
146
click to vote
MIDDLEWARE
2007
Springer
16 years 8 days ago
2007
Springer
Developing applications for sensor networks is a challenging task. Most programming systems narrowly focus on programming issues while ignoring that programming represents only a ...