5506 search results - page 821 / 1102 » Minimal Logic Programs |
148
Voted
XSYM
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We propose a mapping from the Enhanced Entity Relationship conceptual model to the W3C XML Schema Language with the following properties: information and integrity constr...
110
Voted
DATE
2008
IEEE
15 years 9 months ago
2008
IEEE
The synchronous modeling paradigm provides strong execution correctness guarantees to embedded system design while making minimal environmental assumptions. In most related framew...
144
click to vote
RTCSA
2008
IEEE
15 years 9 months ago
2008
IEEE
The demand for real-time data services in embedded systems is increasing. In these new computing platforms, using traditional buffer management schemes, whose goal is to minimize ...
124
Voted
VTC
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract—Fast stream ciphers are used extensively for encrypted data transmission in mobile networks and over multigigabit links. CryptMT, a recently proposed stream cipher, is o...
113
Voted
INFOCOM
2007
IEEE
15 years 9 months ago
2007
IEEE
— We introduce a low-complexity distributed slotted MAC protocol that can support all feasible arrival rates in a wireless backhaul network (WBN). For arbitrary wireless networks...