2106 search results - page 182 / 422 » Specifying C concepts |
115
click to vote
CAISE
2004
Springer
15 years 10 months ago
2004
Springer
: While some information modeling approaches (e.g. the Relational Model, and Object-Role Modeling) are typically formalized using first-order logic, other approaches to information...
167
click to vote
IWQOS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract— Resource management for individual flows can significantly improve quality of service (QoS) in mobile cellular networks. However, its efficiency depends on the avail...
132
Voted
COOPIS
2003
IEEE
15 years 9 months ago
2003
IEEE
Dynamic loading of code is needed when rarely used code should be loaded on demand or when the code to be loaded is not known in advance. In distributed systems it can also be used...
145
click to vote
ITC
2003
IEEE
15 years 9 months ago
2003
IEEE
Functional verification of complex designs largely relies on the use of simulation in conjunction high-level verification languages (HVL) and test-bench automation (TBA) tools. In...
121
click to vote
QSIC
2003
IEEE
15 years 9 months ago
2003
IEEE
Hypertext-based user interfaces have become attractive for many distributed applications today, but they do not reach the usability level of window-based UIs. Because of insuffici...