2106 search results - page 182 / 422 » Specifying C concepts |
154
click to vote
CAISE
2004
Springer
16 years 14 days 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...
210
Voted
IWQOS
2004
Springer
16 years 13 days 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...
185
click to vote
COOPIS
2003
IEEE
16 years 11 days 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...
191
click to vote
ITC
2003
IEEE
16 years 10 days 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...
171
click to vote
QSIC
2003
IEEE
16 years 10 days 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...